MathLabs

第1問

凸五角形 ABCDEABCDE において ∠B>90∘\angle B>90^\circ とし、線分 ACAC 上に ∠FBC=90∘\angle FBC=90^\circ を満たす点 FF をとる。FA=FBFA=FB、DA=DCDA=DC、EA=EDEA=ED が成り立ち、半直線 ACAC と ADAD は角 ∠BAE\angle BAE を三等分するとする。MM を CFCF の中点とする。AMXEAMXE が平行四辺形となるような点を XX とする。直線 FXFX、EMEM、BDBD が一点で交わることを示せ。
ステップ 7/7: 根軸定理により証明が完結する
ざっくり言うと

三つの円がそれぞれのペアの根軸として直線 BDBD、FXFX、EMEM を持つならば、これら三つの直線は一点で交わらなければならない。

radical axes of (AEDMB), (BFDXC), (EXMF) concur\text{radical axes of } (AEDMB),\,(BFDXC),\,(EXMF)\ \text{concur}
詳しい解説

三つの円 (AEDMB)(AEDMB)(A,E,D,M,BA,E,D,M,B を通り、上のステップですべて共円であることが示されている)、(BFDXC)(BFDXC)(B,F,D,X,CB,F,D,X,C を通り、すなわちステップ3の円 (BFDC)(BFDC) にステップ4の XX を加えたもの)、(EXMF)(EXMF)(ステップ5の等脚台形)を考える。直線 BDBD は最初の二円の根軸(それらの共通弦)であり、直線 FXFX は第二と第三の円の根軸(共通弦 FXFX、すなわち共有点そのもの)であり、直線 EMEM は第一と第三の円の根軸である。根軸定理により、三つの円が互いに同心でない限り、三つのペアごとの根軸 BDBD、FXFX、EMEM はすべて平行であるか、一点で交わるかのいずれかである。この配置では平行でないので、これらは一点で交わり、これはまさに求める結論である。