宿田：それなりにいろんな角度がわかる
兒玉：$HCE$ と $GFA$ 相似
宿田：内心の名前、順に $I,J,K,L$ でいいですか
兒玉：いいよ。
宿田：$IGL$ 共線
宿田：$AB$ と $CD$ の交点 $X$ とすると、兒玉さんの相似って
宿田：$XADFGE$ と $XEFCHB$ に拡張できませんか
兒玉：自分の図とだとあってない
平山：図的に違う
宿田：悲しいな
平山：$XA\cdot XB=X{F}^2$
宿田：$XE=XF$
平山：良い性質が全然見つからへん
宿田：$FE$ は角 $GFH$ の二等分線？
兒玉：あってる
平山：あってるって根拠は
宿田：$XE=XF$ を使ってangle-chase
平山：あーそれ使うのね
宿田：$G$ と $H$ は $EF$ について対称
兒玉：辺比で $BHC$ と $AGD$ が相似
平山：まだ内心ノータッチなのやばくて
兒玉：ごめん解けた、$FE,JK,IL$ は共線で
宿田：それなんで言えますか
平山：対称なので、まあ
兒玉：angle-chaseを頑張ると $FJKE,FIEL$ の共円がわかる
渡辺：おおお
宿田：ふゆゅ

工事中

工事中