ポンスレの定理

２円ＯとＩがあって、その半径をＲ、ｒとするとき、ＯＩ^2＝Ｒ^2-2Ｒｒならば、円Ｏに内接して円Ｉに外接する三角形が無数に存在する。