Place the square in the coordinate plane with A(−1,1), B(1,1), C(1,−1) and D(−1,−1). The equation of Γ is x2+y2=2, the equation of the line AC is y=−x and the equation of the line BC is y=x. Let M have coordinates (m,n), where m2+n2=2. The lines AM and BM have the following equations:
AM:y=m+1n−1(x+1)+1
BM:y=m−1n−1(x−1)+1.
The coordinates of the four given intersection points are then
P(2+m−nm+n,2+m−nm+n),Q(m+n−2n−m,m+n−2m−n),R(1−n1+2m+n,−1),S(1−n2m−n−1,−1).
We now calculate the product of the gradients of the two lines PS and QR:
mPSmQR=(m+n)(1−n)−(2m−n−1)(2+m−n)2(m+1)(1−n)×(1−n)(n−m)−(1+2m+n)(m+n−2)2(1−n)(m−1)=4(−n2−m2+mn−m+n+1)(−n2−m2−mn+m+n+1)4(m+1)(m−1)(n−1)2=(m+1)(n−1)(m−1)(1−n)(m+1)(m−1)(n−1)2(since m2+n2=2)=−1,
which shows that the two lines are perpendicular.