Maths Olympiad Prep

Library / /466 of 520

Geometry Difficulty 6.2 National olympiad Prove it

12.9 (IMO 20) In ABC\triangle ABC, side AB=ACAB = AC, there is a circle KK that is internally tangent to the circumcircle of ABC\triangle ABC and is tangent to ABAB and ACAC at points PP and QQ, respectively. Prove that the midpoint of segment PQPQ is the incenter of ABC\triangle ABC.

Please conduct further research on this problem: Is the condition AB=ACAB = AC necessary? If “K\odot K is internally tangent to O\odot O” is changed to “K\odot K' is externally tangent to O\odot O”, what impact does this have on the conclusion, and what changes need to be made?

Solution

12.9 Let OO be the circumcenter of ABC\triangle ABC, and KK be the center of another circle, the two circles being tangent at TT. TETE is the common tangent. Since ABAB, ACAC are tangent to K\odot K, and AB=ACAB=AC, it can be deduced that OO, KK, TT all lie on the angle bisector of A\angle A. OKPQ=IO K \cap P Q=I, which is clearly the midpoint of PQP Q. OIPQO I \perp P Q, BTP=ETPETB=BPTBAT=PTA\angle B T P=\angle E T P-\angle E T B=\angle B P T-\angle B A T=\angle P T A, and BB, TT, PP, II are concyclic, PBI=PTI=BTP=BIP\angle P B I=\angle P T I=\angle B T P=\angle B I P, it is easy to see that PQBCP Q \parallel B C, so PBI=BIP=IBC\angle P B I=\angle B I P=\angle I B C, that is, IBI B bisects ABC\angle A B C, IAI A bisects BAC\angle B A C, thus, II is the incenter.

For this problem, (1) the condition AB=ACAB=AC is redundant (2) if “K\odot K is internally tangent to O\odot O” is changed to “K\odot K' is externally tangent to O\odot O”, then the midpoint of segment PQP Q is the excenter of ABC\triangle ABC; (3) the internal common tangent of K\odot K and K\odot K' is tangent to BCBC. Refer to Shan Huan's "Methods for Solving International Mathematical Competition Problems", where (3) is a discovery by Ye Zhonghao.

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.