JMO2012本選4

JMO2012-4を割と公式解説と違う感じで解いた気がするので書きます．ほらそこ，遠回りしてるだけだなんて言わない

注意　位置関係は 面倒なので 簡略化のため図のやつで考えています．

図を書く

$\mathbb{GeoGebra}$力が欲しい
　図を書きました．$S_1,S_2$の中心を$O_1,O_2$とし，$O_1O_2$の中点を$O$として，$O$が$\triangle PXY$の外心であることを示します．$O_1O_2$は$XY$の垂直二等分線なので何かしらのあと一つの条件が来たら勝ちです．

条件を睨む

　$PA=PB, PC=PD$が成り立っているらしいです．キモすぎるのでどうにかしたいです．...よく見たら$PA\times PC$は左の円$(S_1)$の方べきに，$PB\times PD$は右の円$(S_2)$の方べきになっています．いい感じに方べきの定理で回りそうです．

方べきの定理を回す

GeoGeb力
　まず$X$から回します．$PX$と$S_1,S_2$の交点を$S,T$とすると，方べきの定理から次が成り立つことが分かります．
$$PX\times PT=PB\times PD=PA\times PC=PX\times PS$$
これから$PT=PS$，すなわち$P$が$ST$の中点であることが分かります．嬉しい．

G
　同様に$Y$でも$U,V$を作ってあげると$P$は$UV$の中点になります．$SUTV$は平行四辺形ですね．

点を削除

いらない点と線が消えてくれました！
　平行四辺形の対角線上に$X,Y$が乗ってていい感じに共円がある，みたいな感じに簡略化できました．あとは何しても解ける雰囲気があります．（aminoの補題だーって感じの図してますね）

計算！

　何してもよさそうなので$O$が$XP$の垂直二等分線上にあることを示します．$XY$の垂直二等分線上にあることは既に分かっているのでこれを示せれば終わりです．

　 $O$と$O'$が重なっていて極度に見づらい
　$O,O_1,O_2$から$XP$に下ろした垂線の足を$O',O_1',O_2'$とします．$O_1'O_2'=O_1'X+XO_2'=\dfrac{SX}2+\dfrac{XT}2=\dfrac{ST}2=SP$から$PO_2'=SO_1'=O_1'X$なので$O'$は$XP$の中点だと分かります．したがって$O$は$XP$の垂直二等分線上にあることが分かりました．やったぜ．

おわりに

いかかでしたか？