ここでは外接四角形の性質について証明し、その後、その極線について証明する。[br][br]外接四角形の性質とは、[br][b][br]「円に外接する四角形ABCDの接点をEFGHとすれば、AC,BD,FH,EGは一点に会する。」[br][/b][br]このことを証明するために「相似の中心」を利用する。
まず、FHとEGの交点をOとして、ACがOを通ることを証明する。[br][br]そのために、CからAD,ABに平行線を引いて、FH,EGの延長線との交点をK,Jとすれば、[br]図のように、角度と長さがそれぞれ等しくなり、[br]△CKJは二等辺三角形となる。[br]そして、△AEF∽△CKJとなり、対応する2辺がそれぞれ平行な二等辺三角形となる。[br]したがって、この二つの三角形は相似の位置にあり、[br]二つの三角形において、対応辺がそれぞれ平行ならば対応頂点を結ぶ3直線は一点で会するので、[br]Oは相似の中心であり、ACもまたOを通る。[br]同様に、BDもまたOを通る。[br]
上の図で、外接四角形の極線の上にKがあることを証明する。[br]ただし、MOの極をKとする。[br]KがHG上にあることは明白。[br]さらにIの極線とHGが一致することも明白。[br][br]最初に証明したことから、対応する接点と対角線が一点I(極)で交わる。[br]Oの極線はCFで、Nの極線はEDなので、その交点の極線はMOを通る。[br]したがって、Mの極線とOの極線の交点とKは一致する。[br][br]よって、Kからの接線の接点P,QはMO上にある。[br]H,K,Gは一直線上にあり、もう一つの点Jもこの極線上にある。[br][br]次は、LNがKを通ることを示す。[br]MOとIの極線HGの交点をJとすると、上の議論でJの極線はIKであり、LNでもある。[br]よって、IKとLNは一致し、LNはKを通る。[br][br]このように、極線を使うと証明が簡単になる。[br]なお、極と極線については、「[url=https://www.geogebra.org/m/yjeuutbU][b]円の極と極線の性質[/b][/url]」を見てください。[br]