Changes

Ենթադրենք <math>2\cdot AC</math> ավելի մեծ չէ քան BC, և <math>BC = 2\cdot CA</math>։ Այսպիսով <math>BC^2 = 4\cdot CA^2</math>։ Հետևում է, որ <math>BC^2 + CA^2 = 5\cdot CA^2</math>։ Ենթադրվում էր, որ <math> BA^2 = 5\cdot CA^2</math>։ Հետևաբար, <math>BA^2 = BC^2 + CA^2</math>, որը և հակասում է պայմանին (Պնդ․ 2․4)։ Այսպիսով <math>CB \neq 2\cdot AC</math>, նույն կերպ, կարող ենք ասել, որ CB-ից ավելի փոքր հատվածը նույնպես հավասար չէ <math>2\cdot AC</math>: