Maths Olympiad Prep

Library / /1327 of 1394

, 2019

Geometry Difficulty 6.1 National Olympiad Prove it United States

Problem:
Let ABCABC be a triangle with AB=6AB = 6, AC=7AC = 7, BC=8BC = 8. Let II be the incenter of ABCABC. Points ZZ and YY lie on the interior of segments ABAB and ACAC respectively such that YZYZ is tangent to the incircle. Given point PP such that
ZPC=YPB=90 \angle ZPC = \angle YPB = 90^\circ
find the length of IPIP.

Solutions — 2

Solution 1

Solution:
Let PUPU, PVPV be tangents from PP to the incircle. We will invoke the dual of the Desargues Involution Theorem, which states the following:
Given a point PP in the plane and four lines 1,2,3,4\ell_1, \ell_2, \ell_3, \ell_4, consider the set of conics tangent to all four lines. Then we define a function on the pencil of lines through PP by mapping one tangent from PP to each conic to the other. This map is well defined and is a projective involution, and in particular maps PAPDPA \rightarrow PD, PBPEPB \rightarrow PE, PCPFPC \rightarrow PF, where ABCDEFABCDEF is the complete quadrilateral given by the pairwise intersections of 1,2,3,4\ell_1, \ell_2, \ell_3, \ell_4.
An overview of the projective background behind the (Dual) Desargues Involution Theorem can be found here: https://www.scribd.com/document/384321704/Desargues-Involution-Theorem, and a proof can be found at https://www2.washjeff.edu/users/mwoltermann/Dorrie/63.pdf.
Now, we apply this to the point PP and the lines ABAB, ACAC, BCBC, YZYZ, to get that the pairs
(PU,PV),(PY,PB),(PZ,PC) (PU, PV), (PY, PB), (PZ, PC)
are swapped by some involution. But we know that the involution on lines through PP which rotates by 9090^\circ swaps the latter two pairs, thus it must also swap the first one and UPV=90\angle UPV = 90^\circ. It follows by equal tangents that IUPVIUPV is a square, thus IP=r2IP = r\sqrt{2} where rr is the inradius of ABCABC. Since r=2Ka+b+c=2115/221=152r = \frac{2K}{a+b+c} = \frac{21\sqrt{15}/2}{21} = \frac{\sqrt{15}}{2}, we have IP=302IP = \frac{\sqrt{30}}{2}.

Solution 2

Solution:
Let HH be the orthocenter of ABCABC.

Lemma. HI2=2r24R2cosAcosBcosCHI^2 = 2r^2 - 4R^2 \cos A \cos B \cos C, where rr is the inradius and RR is the circumradius.

Proof. This follows from barycentric coordinates or the general result that for a point XX in the plane,
aXA2+bXB2+cXC2=(a+b+c)XI2+aAI2+bBI2+cCI2 a XA^2 + b XB^2 + c XC^2 = (a+b+c) XI^2 + a AI^2 + b BI^2 + c CI^2
which itself is a fact about vectors that follows from barycentric coordinates. This can also be computed directly using trigonometry.

Let E=BHACE = BH \cap AC, F=CHABF = CH \cap AB, then note that B,P,E,YB, P, E, Y are concyclic on the circle of diameter BYBY, and C,P,F,ZC, P, F, Z are concyclic on the circle of diameter CZCZ. Let QQ be the second intersection of these circles. Since BCYZBCYZ is a tangential quadrilateral, the midpoints of BYBY and CZCZ are collinear with II (this is known as Newton's theorem), which implies that IP=IQIP = IQ by symmetry. Note that as BHHE=CHHFBH \cdot HE = CH \cdot HF, HH lies on the radical axis of the two circles, which is PQPQ. Thus, if IP=IQ=xIP = IQ = x, BHHEBH \cdot HE is the power of HH with respect to the circle centered at II with radius xx, which implies BHHE=x2HI2BH \cdot HE = x^2 - HI^2.

As with the first solution, we claim that x=r2x = r\sqrt{2}, which by the lemma is equivalent to BHHE=4R2cosAcosBcosCBH \cdot HE = 4R^2 \cos A \cos B \cos C. Then note that
BHHE=BHCHcosA=(2RcosB)(2RcosC)cosA, BH \cdot HE = BH \cdot CH \cos A = (2R \cos B)(2R \cos C) \cos A,
so our claim holds and we finish as with the first solution.

Note. Under the assumption that the problem is well-posed (the answer does not depend on the choice of Y,ZY, Z, or PP), then here is an alternative method to obtain IP=r2IP = r\sqrt{2} by making convenient choices. Let UU be the point where YZYZ is tangent to the incircle, and choose UU so that IUBCIU \parallel BC (and therefore YZBCYZ \perp BC). Note that YZBCYZ \cap BC is a valid choice for PP, so assume that PP is the foot from UU to BCBC. If DD is the point where BCBC is tangent to the incircle, then IUPDIUPD is a square so IP=r2IP = r\sqrt{2}. (This disregards the condition that YY and ZZ are in the interior of segments ACAC and ABAB, but there is no reason to expect that this condition is important.)

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.