今週のmikly〔ミクリィ〕に『日本人の名前がついた○○』という記事があって、その中で「刈谷の定理」というのが紹介されていた。「△ABCの内接円と、辺BC、CA、ABとの接点を、D、E、Fとするとき線分AD、BE、CFは一点で交わる」というものだそうだ。 miklyには…