GeometryDifficulty 6.3National OlympiadProve itUnited States
Problem:
The incircle of a triangle ABC is tangent to BC at D. Let H and Γ denote the orthocenter and circumcircle of △ABC. The B-mixtilinear incircle, centered at OB, is tangent to lines BA and BC and internally tangent to Γ. The C-mixtilinear incircle, centered at OC, is defined similarly. Suppose that DH⊥OBOC, AB=3 and AC=2. Find BC.
Solution
Solution:
Let the B-mixtilinear incircle ωB touch Γ at TB, BA at B1 and BC at B2. Define TC∈Γ, C1∈CB, C2∈CA, and ωC similarly. Call I the incenter of triangle ABC, and γ the incircle.
We first identify two points on the radical axis of the B and C mixtilinear incircles: - The midpoint M of arc BC of the circumcircle of ABC. This follows from the fact that M,B1, TB are collinear with MB2=MC2=MB1⋅MTB and similarly for C. - The midpoint N of ID. To see this, first recall that I is the midpoint of segments B1B2 and C1C2. From this, we can see that the radical axis of ωB and γ contains N (since it is the line through the midpoints of the common external tangents of ωB,γ). A similar argument for C shows that the midpoint of ID is actually the radical center of the ωB,ωC,γ.
Now consider a homothety with ratio 2 at I. It sends line MN to the line through D and the A-excenter IA (since M is the midpoint of IIA, by "Fact 5"). Since DH was supposed to be parallel to line MN, it follows that line DH passes through IA; however a homothety at D implies that this occurs only if H is the midpoint of the A-altitude.
Let a=BC, b=CA=2 and c=AB=3. So, we have to just find the value of a such that the orthocenter of ABC lies on the midpoint of the A-altitude. This is a direct computation with the Law of Cosines, but a more elegant solution is possible using the fact that H has barycentric coordinates (SBSC:SCSA:SASB), where SA=21(b2+c2−a2) and so on. Indeed, as H is on the A-midline we deduce directly that SBSC=SA(SB+SC)=a2SA⟹41(a2−1)(a2+1)=21a2(7−a2) Solving as a quadratic in a2 and taking the square roots gives 3a4−14a2−1=0⟹a=31(7+213)
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.