Trigonometry/Circles and Triangles/Philo's Line
From Wikibooks, open books for an open world
Suppose any angle POQ and a point X between the lines OP and OQ. Philo's line is the shortest line AB through X such that A is on OP (or OP produced) and B is on OQ (or OQ produced).
If Y is the foot of the perpendicular from O to AB, then AY = BX.