Maths Olympiad Prep

Track / Stage 7 / 220 of 300 #2100 of 2444

Problem 2100

National Olympiad second round; IMO P1/P4
Number theory Difficulty 7.7 Prove it IMO 2J, Independent Study 2 · Taiwan

For any positive integer nn, consider its binary representation. Denote by f(n)f(n) the number we get after removing all the 0's in its binary representation, and g(n)g(n) the number of 1's in the binary representation. For example, f(19)=7f(19) = 7 and g(19)=3g(19) = 3. Find all positive integers nn that satisfy n=f(n)g(n)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.

Next problem →

Official solution

Solution. Let the centers of Γ1\Gamma_1 and Γ2\Gamma_2 be PP and QQ respectively. Let the other intersection point of Γ2\Gamma_2 and ABAB be GG, the other intersection point of Γ1\Gamma_1 and ACAC be HH, the other tangent point of BB with respect to Γ2\Gamma_2 be X1X_1, and the tangent point of CC with respect to Γ1\Gamma_1 be YY, Y1Y_1.
Lemma1. The three points G,H,DG, H, D are collinear and parallel to line BCBC.
Proof: We have AGD=AFD=AFC=ABC\angle AGD = \angle AFD = \angle AFC = \angle ABC, so GDBCGD \parallel BC. Similarly HDBCHD \parallel BC, hence the three points G,H,DG, H, D are collinear.
Lemma2. BXQCYP\triangle BXQ \sim \triangle CYP
Proof: Since AQG=2ADG=2ADH=APH\angle AQG = 2\angle ADG = 2\angle ADH = \angle APH, AQG\triangle AQG is spirally similar to APH\triangle APH, so AQAP=AGAH\frac{AQ}{AP} = \frac{AG}{AH} and QAB=QAG=PAH=PAC=\angle QAB = \angle QAG = \angle PAH = \angle PAC =, and by Lemma1. AGAH=ABAC\frac{AG}{AH} = \frac{AB}{AC}, we know BAQCAP(spirally similar)\triangle BAQ \sim \triangle CAP(\text{spirally similar}), hence BQCP=AQAP=XQYP\frac{BQ}{CP} = \frac{AQ}{AP} = \frac{XQ}{YP}. Note that BXQ=CYP=π2\angle BXQ = \angle CYP = \frac{\pi}{2}, so
BXCY=BX2CY2=BQ2QX2CP2PY2=AQ2AP2=AQAP, \frac{BX}{CY} = \sqrt{\frac{BX^2}{CY^2}} = \sqrt{\frac{BQ^2 - QX^2}{CP^2 - PY^2}} = \sqrt{\frac{AQ^2}{AP^2}} = \frac{AQ}{AP},
and hence BXQCYP(SSS)\triangle BXQ \sim \triangle CYP(SSS).
---
## 2024-TWN — Page 85
Since AQG\triangle AQG is spirally similar to APH\triangle APH, BXQ\triangle BXQ is spirally similar to CYP\triangle CYP, or BXQ\triangle BXQ is spirally similar to CY1P\triangle CY_1P. Without loss of generality, we have (BX,CY)=(BQ,CP)=(BA,CA)\angle(BX, CY) = \angle(BQ, CP) = \angle(BA, CA), so the intersection point of BXBX and CYCY lies on Γ\Gamma, namely ZZ.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty, ordering) added by this project.