## Coaxal Circles on Perpendicular Bisector

The applet below is one of two attempts to illustrate a recent theorem by J. M. Unger. The other illustration is available on a separate page.

In ΔABC, (I) is the incircle and (P) is a circle tangent to AB and AC. A circle (O) passing through B, C, tangent to the circles (I) (internally) and (P) (externally), exists if and only if one of the intangents of (P) and (I) is parallel to BC.

The applet actually shows that a more general statement is true. In the applet, the vertices of the triangle and center O of circle (O) through B and C are draggable. (I) is a circle tangent to AB and AC and internally to (O). (P) is a circle tangent to AB and AC and externally to (O). You can observe that at least when (I) is close to the incircle of ΔABC one of the common internal tangents to (I) and (P) is parallel to BC. Points S and T are the points of tangency of pairs (O), (I) and (O), (P). (The line of tangency joins S and T and is seen to be different from either of the common intangents.)

### This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

 What if applet does not run?

It is worth noting that when one of the common internal tangents of (I) and (P) is parallel to BC, the other one is antiparallel to it. The sides AB and AC cut off each of the the coaxal circles through B and C (and, hence, the center on the perpendicular bisector of BC) a chord which also antiparallel to BC.

### References

1. J. Marshall Unger, A new proof of a "hard but important" Sangaku problem, Forum Geometricorum, 10 (2010) 7--13.