To show that the lines AD, BE, and CF are concurrent, we need to use Ceva's Theorem. According to Ceva's Theorem, for three lines AD, BE, CF to be concurrent at a single point, it is required that:
DCBD⋅EACE⋅FBAF=1.
Let's find these ratios starting with DCBD:
1. **Finding DCBD:**
Since D is the reflection of the orthocenter H over side BC, and given that the triangle ABC is acute, we have the known angle equivalences:
∠BAH=90∘−∠B=∠OAC.
Therefore, the angle between the altitude AH and the line AO is:
∠HAO=∣∠A−2⋅(90∘−∠B)∣=∣∠B−∠C∣.
Now considering the angles at A′ (reflection of H), we know:
∠BA′A=∠C,∠AA′C=∠B.
Consequently, the angles ∠BA′D=∠B and ∠DA′C=∠C.
Applying the Law of Sines in △BA′D and △DA′C:
sin∠DA′CBD=sin∠BA′DAD,sin∠BA′DDC=sin∠DA′CAD.
Thus,
DCBD=sin∠Csin∠B.
2. **Finding EACE:** (similar procedure for remaining reflections)
By reflecting the orthocenter H over each of the sides CA and AB, we use similar reasoning and the Sine Rule in respective triangles to obtain:
EACE=sin∠Asin∠C,
and
3. **Finding FBAF:**
FBAF=sin∠Bsin∠A.
Substituting these ratios into the product for Ceva's Theorem, we have:
DCBD⋅EACE⋅FBAF=sin∠Csin∠B⋅sin∠Asin∠C⋅sin∠Bsin∠A=1.
Thus, by Ceva's Theorem, the lines AD, BE, and CF must be concurrent. This completes the proof.
The point of concurrency is known as the symmedian point or the Lemoine point of the triangle. Hence, we have shown that:
The lines AD,BE, and CF are concurrent.