Number theoryDifficulty 7.7Prove itIMO 2J, Independent Study 2 · Taiwan
For any positive integer n, consider its binary representation. Denote by f(n) the number we get after removing all the 0's in its binary representation, and g(n) the number of 1's in the binary representation. For example, f(19)=7 and g(19)=3. Find all positive integers n that satisfy n=f(n)g(n).
This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.
Solution. Let the centers of Γ1 and Γ2 be P and Q respectively. Let the other intersection point of Γ2 and AB be G, the other intersection point of Γ1 and AC be H, the other tangent point of B with respect to Γ2 be X1, and the tangent point of C with respect to Γ1 be Y, Y1. Lemma1. The three points G,H,D are collinear and parallel to line BC. Proof: We have ∠AGD=∠AFD=∠AFC=∠ABC, so GD∥BC. Similarly HD∥BC, hence the three points G,H,D are collinear. Lemma2. △BXQ∼△CYP Proof: Since ∠AQG=2∠ADG=2∠ADH=∠APH, △AQG is spirally similar to △APH, so APAQ=AHAG and ∠QAB=∠QAG=∠PAH=∠PAC=, and by Lemma1. AHAG=ACAB, we know △BAQ∼△CAP(spirally similar), hence CPBQ=APAQ=YPXQ. Note that ∠BXQ=∠CYP=2π, so CYBX=CY2BX2=CP2−PY2BQ2−QX2=AP2AQ2=APAQ, and hence △BXQ∼△CYP(SSS). --- ## 2024-TWN — Page 85 Since △AQG is spirally similar to △APH, △BXQ is spirally similar to △CYP, or △BXQ is spirally similar to △CY1P. Without loss of generality, we have ∠(BX,CY)=∠(BQ,CP)=∠(BA,CA), so the intersection point of BX and CY lies on Γ, namely Z.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.