🍉しいたげられたしいたけ

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