Reductio ad absurdum
idea · 1 work · 2 mentions · 8 anchored passages
if not · if possible, let it have that ratio · which is impossible · which was proved impossible
spoken of as
1 expressionin the texts
Elements
The recurring proof technique of assuming the negation of what is to be shown (a smaller number with the same property) and deriving a contradiction ('which is impossible'), used throughout every proposition in this window.
For, if not, there will be some number less than G which will have the parts A, B, C.
therefore they will also measure the remainder CF which is less than E:
Therefore there will be no number less than G that will have the parts A, B, C.