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.

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