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.