Suppose that P and Q lie on the opposite sides of line joining
O1 and
O2.
By symmetry we may assume that the configuration is as shown in the figure below.
Then we have
KP>KO1>KQ since
KO1 is the hypotenuse of triangle
KQO1. This is a contradiction to the given assumption, and therefore P and Q lie on the same side of the line joining
O1 and
O2.
Since
KP=KQ it follows that K lies on the radical axis of the given circles, which is the common tangent at R.
∴KP=KQ=KR and hence K is the cirumcenter of
ΔPQR.
On the other hand,
ΔKQO1 and
ΔKRO1 are both right-angled triangles with
KQ=KR and
QO1=RO1, and hence the two triangles are congruent.
∴QKO1=RKO1,
So
KO1, and hence PK is perpendicular to QR. Similarly, QK is perpendicular to PR, So it follows that K is the orthocenter of
ΔPQR.
Hence we have that
ΔPQR is equilateral.