Googleクラスルーム
GeoGebraGeoGebra Classroom

IMO2004

数学オリンピックの問題。直径と二円と直線が一点で交わることを証明せよ。この問題をアルファ・ジオメトリーというAIが証明したという。

IMO2004の第一問の証明 KはAの二等分線とCBとの交点とする。円IBHがKを通ることを示す。Bを動かすことがポイント。BをDにもっていった時にAはFに重なる。円GAFHの直径はIF(角の二等分線)。