===Լեմմա===
Ապացուցենք, որ՝որ <math>2\cdot AC (DC) > BC</math>.։ Ենթադրենք <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</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>: Այսպիսով, <math>2\cdot AC > CB</math>, որն էլ պահանջվում էր ցույց տալ։ապացուցել։