KH is entirely right. The circle proof is circular
.
Here's another proof, closer Siro's original line of thought:
WLOG (by switching B and C if necessary), assume ADB is at least a right angle. Draw the perpendicular to AD at D. Since ADB is at least a right angle, this line will intersect AB at some point E. Then AD^2 + DE^2 = AE^2, so AE > AD, and AB > AD since AB >= AE.
![Stick Out Tongue](https://apolyton.net/core/images/smilies/tongue.gif)
Here's another proof, closer Siro's original line of thought:
WLOG (by switching B and C if necessary), assume ADB is at least a right angle. Draw the perpendicular to AD at D. Since ADB is at least a right angle, this line will intersect AB at some point E. Then AD^2 + DE^2 = AE^2, so AE > AD, and AB > AD since AB >= AE.
Comment