Example 2. As shown in Figure 2, from the vertex of , draw any line intersecting the excircle near at and . Prove:
Track / Stage 5 / 38 of 400 #638 of 2000
Problem 638
AIME late Geometry Difficulty 5.1 Prove it
This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.
Official solution
Prove AP+AQ⩾2AP⋅AQ=2AD. But 2AD=AD+AE=AB+BD+AC+CB=AB+BF+AC+CF=AB+BC+AC∴AP+AQ⩾AB+BC+CA.
Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.