Example 5. As shown in the figure, and are two mutually perpendicular diameters of circle , is a point on circle , is perpendicular to , is perpendicular to , and are the feet of the perpendiculars, , and , where are both prime numbers, and are positive integers, , the radius of circle is , and is an odd number. Prove that the lengths of , and are respectively.
Problem 1578
Official solution
Proof from the Pythagorean theorem we get
.
Since is odd, and must be one odd and one even.
If is even, then we can set
.
Since is even and is a prime, then .
Thus, we have .
Therefore, .
Since is odd, it must be that . Thus, . At this point, we get .
Since , we also have
From this, we get .
Since is odd, then , i.e.,
Thus, .
From this, we solve .
So, .
That is, ,
Thus, .
If is even, solving similarly gives , which contradicts .