Maths Olympiad Prep

Library / /43 of 69

, 2011

Geometry Difficulty 5.5 AIME, harder Prove it South Africa

Let ABCDABCD be a square with circumcircle Γ\Gamma. Let MM be on minor arc CDCD of Γ\Gamma. Let BDBD and AMAM intersect at PP, CDCD and AMAM intersect at RR, BMBM and ACAC intersect at QQ and BMBM and DCDC intersect at SS. Show that PSQRPS \perp QR.

Solution

Place the square in the coordinate plane with A(1,1)A(-1, 1), B(1,1)B(1, 1), C(1,1)C(1, -1) and D(1,1)D(-1, -1). The equation of Γ\Gamma is x2+y2=2x^2 + y^2 = 2, the equation of the line ACAC is y=xy = -x and the equation of the line BCBC is y=xy = x. Let MM have coordinates (m,n)(m, n), where m2+n2=2m^2 + n^2 = 2. The lines AMAM and BMBM have the following equations:
AM:y=n1m+1(x+1)+1 AM : y = \frac{n-1}{m+1}(x+1) + 1
BM:y=n1m1(x1)+1. BM : y = \frac{n-1}{m-1}(x-1) + 1.
The coordinates of the four given intersection points are then
P(m+n2+mn,m+n2+mn),Q(nmm+n2,mnm+n2),R(1+2m+n1n,1),S(2mn11n,1). P\left(\frac{m+n}{2+m-n}, \frac{m+n}{2+m-n}\right), \quad Q\left(\frac{n-m}{m+n-2}, \frac{m-n}{m+n-2}\right), \\ R\left(\frac{1+2m+n}{1-n}, -1\right), \quad S\left(\frac{2m-n-1}{1-n}, -1\right).
We now calculate the product of the gradients of the two lines PS and QR:
mPSmQR=2(m+1)(1n)(m+n)(1n)(2mn1)(2+mn)×2(1n)(m1)(1n)(nm)(1+2m+n)(m+n2)=4(m+1)(m1)(n1)24(n2m2+mnm+n+1)(n2m2mn+m+n+1)=(m+1)(m1)(n1)2(m+1)(n1)(m1)(1n)(since m2+n2=2)=1, \begin{align*} m_{PS}m_{QR} &= \frac{2(m+1)(1-n)}{(m+n)(1-n) - (2m-n-1)(2+m-n)} \\ &\quad \times \frac{2(1-n)(m-1)}{(1-n)(n-m) - (1+2m+n)(m+n-2)} \\ &= \frac{4(m+1)(m-1)(n-1)^2}{4(-n^2-m^2+mn-m+n+1)(-n^2-m^2-mn+m+n+1)} \\ &= \frac{(m+1)(m-1)(n-1)^2}{(m+1)(n-1)(m-1)(1-n)} \quad \text{(since } m^2 + n^2 = 2) \\ &= -1, \end{align*}
which shows that the two lines are perpendicular.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.