Maths Olympiad Prep

Library / /500 of 520

Geometry Difficulty 7.9 National olympiad, round 2 Prove it

Let AD be the altitude of a triangle ABC and E , F be the incenters of the triangle ABD and ACD , respectively. line EF meets AB and AC at K and L. prove tht AK=AL if and only if AB=AC or A=90

Solution

1. Given: Let AD AD be the altitude of a triangle ABC \triangle ABC and E E , F F be the incenters of the triangles ABD \triangle ABD and ACD \triangle ACD , respectively. Line EF EF meets AB AB and AC AC at K K and L L . We need to prove that AK=AL AK = AL if and only if AB=AC AB = AC or A=90 \angle A = 90^\circ .

2. Incenter and Angle Bisector: Let I I be the incenter of the triangle ABC \triangle ABC . We need to show that the bisector AI AI of the angle A \angle A is perpendicular to EF EF if and only if either AB=AC AB = AC or CAB=90 \angle CAB = 90^\circ .

3. Concurrent Cevians: The bisectors AI,BIEI,CIFI AI, BI \equiv EI, CI \equiv FI are concurrent cevians of the triangle AEF \triangle AEF . Let XAF X \in AF and YAE Y \in AE be the feet of EI EI and FI FI in this triangle.

4. Angle Calculation:
EXABXA=180B2(90B)90C2=90+B+C2=90+90A2 \angle EXA \equiv \angle BXA = 180^\circ - \frac{\angle B}{2} - (90^\circ - \angle B) - \frac{90^\circ - \angle C}{2} = \frac{90^\circ + \angle B + \angle C}{2} = 90^\circ + \frac{90^\circ - \angle A}{2}
FYACYA=180C2(90C)90B2=90+C+B2=90+90A2 \angle FYA \equiv \angle CYA = 180^\circ - \frac{\angle C}{2} - (90^\circ - \angle C) - \frac{90^\circ - \angle B}{2} = \frac{90^\circ + \angle C + \angle B}{2} = 90^\circ + \frac{90^\circ - \angle A}{2}

5. Equality of Angles: Hence, EXA=FYA \angle EXA = \angle FYA .

6. **Case 1: A=90 \angle A = 90^\circ **:
- If A=90 \angle A = 90^\circ , then EX EX and FY FY are two altitudes of the triangle AEF \triangle AEF , I I is its orthocenter, and AIEF AI \perp EF is its remaining altitude.

7. **Case 2: A90 \angle A \neq 90^\circ **:
- Assume now that A90 \angle A \neq 90^\circ and that we still have AIEF AI \perp EF , i.e., AI AI is the A-altitude of the triangle AEF \triangle AEF , but I I is no longer its orthocenter.
- Since EXA=FYA90 \angle EXA = \angle FYA \neq 90^\circ , then also EXF=FYE90 \angle EXF = \angle FYE \neq 90^\circ , i.e., the quadrilateral EFXY EFXY is cyclic.

8. Cyclic Quadrilateral:
- Let (P) (P) be its circumcircle, which is centered on the perpendicular bisector of the segment EF EF .
- Using parallel projection, we can project the triangle AEF \triangle AEF into a triangle AEF \triangle A'EF , so that the point I I is projected into its orthocenter I I' .
- Then the cevians EX EX , FY FY are projected into its altitudes EX EX' , FY FY' , i.e., the quadrilateral EFXY EFX'Y' is also cyclic, with the circumcircle (O) (O') centered at the midpoint O O' of the segment EF EF .

9. Symmetry and Congruence:
- Thus the points X X , Y Y lie both on the circle (P) (P) and on an ellipse o o with the main axis EF EF (which is projected into the circle (O) (O') in our parallel projection), not identical with the circle (P) (P) .
- Since both the ellipse o o and the circle (P) (P) are symmetrical with respect to the perpendicular bisector of the segment EF EF , so are their intersections X X , Y Y , i.e., EX=FY EX = FY and EY=FX EY = FX .
- Hence, the triangles EFXFEY \triangle EFX \cong \triangle FEY are congruent and it immediately follows that the triangle AEF \triangle AEF is isosceles with AE=AF AE = AF .

10. Conclusion:
- This and ADBC AD \perp BC implies that the incircles (E)(F) (E) \cong (F) are congruent, which means that the triangle ABC \triangle ABC itself is isosceles with AB=AC AB = AC .

\blacksquare

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.