Maths Olympiad Prep

Library / /140 of 520

Geometry Difficulty 6.0 AIME, harder Prove it

P\mathrm{P} is a fixed point in the plane. Show that amongst triangles ABC\mathrm{ABC} such that PA=3, PB=5,PC\mathrm{PA}=3, \mathrm{~PB}=5, \mathrm{PC} =7=7, those with the largest perimeter have P\mathrm{P} as incenter.

Solution

!

Given points P,B,C\mathrm{P}, \mathrm{B}, \mathrm{C} and a fixed circle center P\mathrm{P}, we show that the point A\mathrm{A} on the circle which maximizes AB+AC\mathrm{AB}+\mathrm{AC} is such that PA\mathrm{PA} bisects angle BAC\mathrm{BAC}. Consider a point A\mathrm{A}^{\prime} close to A\mathrm{A}. Then the change in AB+ACA B+A C as we move AA to AA^{\prime} is AA(sinPACsinPAB)+O(AA2)A A^{\prime}(\sin P A C-\sin P A B)+O\left(A A^{\prime 2}\right). So for a maximal configuration we must have sinPAC=sinPAB\sin \mathrm{PAC}=\sin \mathrm{PAB}, otherwise we could get a larger sum by taking A' on one side or the other. This applies to each vertex of the triangle, so P\mathrm{P} must be the incenter.

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.