Let Γ
_{1} and Γ
_{2} be arbitrary circles that intersect at points P and Q.
Prove or disprove that there exist points M and N such that
(1) M ∈ Γ
_{1}\{P,Q},
(2) N ∈ Γ
_{2}\{P,Q},
(3) M, N, and P are collinear, and
(4) ∠MQP = ∠NQP.
If they exist, prove or disprove that they can be constructed with
straightedge and compass.
Here is a link to Wolfram MathWorld:
Definition of Set Difference
(In reply to
re: Solution by Bractals)
Yes, you’re right Bractals, I should have shown that R, S & P are collinear 
inadvertently ‘left to the reader'!
/RPQ and /SPQ are both right angles (subtended in semicircles) should do it.
Since you ask, I first noticed that RS was useful in forming triangle RQS which
is similar to MQN, and now after a little more thought I think this approach
can give a simpler proof that works for all positions of S. Here goes:
Let U be the point of intersection of RP and TQ.
Triangles RQS and MQN are similar since
/SRQ = /NMQ (angles subtended by PQ in Circle 1)
/RSQ = /MNQ
(If P lies between R and S, these are subtended by PQ in Circle 2;
otherwise, these are the ext. and int. opp. in cyclic quad SPNQ).
Also, /RQU = /MQP (subtended by equal arcs RT and MP)
So UQ and PQ split triangles RQS and MQN respectively into pairs of similar
triangles (RQU~MQP and SQU~NQP).
Since QU bisects /RQS, it therefore follows that QP bisects /MQN.
Much fun.

Posted by Harry
on 20131117 18:08:26 