- Dear Hyacinthos,
I would like to know the synthetic proof of the following statement:
Given an arbitrary triangle ABC,
let D be the foot of the perpendicular from A to BC
let E be the foot of the perpendicular from D to AC
let F be a point on the line DE
Prove that AF is perpendicular to BE iff BD/DC = FE/FD.