2025-03-01から1ヶ月間の記事一覧

USAJMO 2016/1 + 船旅 補題6.23

$AB = AC$ なる二等辺三角形 $ABC$ があり、$P$ はその外接円の弧 $BC$ 上($A$ を含まない方)の端点以外の点である。三角形 $ABP$, $ACP$ の内心をそれぞれ $I_B$, $I_C$ とおくとき、三角形 $P I_B I_C$ の外接円は点 $P$ のとり方によらずある定点を通る…