Olympiad Maths Prep

Track / Stage 7 / 178 of 300 #1578 of 2000

Problem 1578

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.3 Prove it

Example 5. As shown in the figure, ABAB and CDCD are two mutually perpendicular diameters of circle OO, PP is a point on circle OO, PMPM is perpendicular to OAOA, PNPN is perpendicular to ODOD, MM and NN are the feet of the perpendiculars, OM=u,MP=zOM=u, MP=z', and u=pm,z=qnu=p^{m}, z'=q^{n}, where p,qp, q are both prime numbers, mm and nn are positive integers, u>vu>v, the radius of circle OO is rr, and rr is an odd number. Prove that the lengths of AM,BM,CNAM, BM, CN, and DNDN are 1,9,8,21, 9, 8, 2 respectively.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof from the Pythagorean theorem we get
u9+v2=r2u^{9}+v^{2}=r^{2}.
Since rr is odd, uu and vv must be one odd and one even.

If uu is even, then we can set
u=2cd,v=c2d2,r=c2+d2u=2 c d, v=c^{2}-d^{2}, r=c^{2}+d^{2}.
Since u=p=pmu=p=p^{m} is even and pp is a prime, then p=2p=2.
Thus, we have u=pm=2m=2du=p^{\prime m}=2^{m}=2 \cdot d.
Therefore, c=2α,d=2β,α+β=m1c=2^{\alpha}, d=2^{\beta}, \alpha+\beta=m-1.
v=c2d2=(2α+2β)(2α2β).v=c^{2}-d^{2}=\left(2^{\alpha}+2^{\beta}\right)\left(2^{\alpha}-2^{\beta}\right) .

Since vv is odd, it must be that 2α=12^{\alpha}=1. Thus, β=0\beta=0. At this point, we get v=(2α+1)(2α1)=qv=\left(2^{\alpha}+1\right)\left(2^{\alpha}-1\right)=q^{*}.

Since 2α+12α12^{\alpha}+1 \neq 2^{\alpha}-1, we also have
2α+1=qt,2α1=qs,t>s.2^{\alpha}+1=q^{t}, 2^{\alpha}-1=q^{s}, t>s .

From this, we get 22α=qt+qs=qs(qts+1)2 \cdot 2^{\alpha}=q^{t}+q^{s}=q^{s}\left(q^{t-s}+1\right).
Since qq is odd, then qs=1,s=0q^{s}=1, s=0, i.e.,
2α1=qs=1.2^{\alpha}-1=q^{s}=1 .

Thus, α=1\alpha=1.
From this, we solve c=2,d=1c=2, d=1.
So, u=221=4,v=3,r=5u=2 \cdot 2 \cdot 1=4, v=3, r=5.
That is, OM=4,ON=3O M=4, O N=3,
OA=OB=OC=OD=5.O A=O B=O C=O D=5 .

Thus, AM=1,BM=9,CN=8,DN=2A M=1, B M=9, C N=8, D N=2.
If vv is even, solving similarly gives v=4,u=3v=4, u=3, which contradicts u>vu > v.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.