takahara さんの出題(それぞれ半直線に接し、互いに外接する2円)の解答
Q→Aのとき,P→A
R→Bのとき,P→Bだから,
A,Bも点Pの軌跡となる円周上にある。
すなわち,軌跡となる円は△ABPの外接円となる。
よって,任意の点Pに対して,△ABPの外接円は不変であることを示せば
点Pの軌跡はその外接円であると言える。
このためには△ABPの外心が点Pによらない定点であることを示せばよい。
左図のように△ABPの外心をCとすると,
△ACQと△PCQについて,
AQ=PQ, AC=PC, CQ共通
∴△ACQ≡△PCQ
よって,∠AQC=∠PQC=βとする。
同様に,∠BRC=∠PRC=αとして,
∠AOB=2θとし,
直線AQ,BRの交点をTとすると,
∠OAT=∠OBT=90度だから,4点OATBは同一円周上にあり,
∠ATB=180度-2θ
よって,△TRQに対して,
(180度-2θ)+(180度-2α)+(180度-2β)=180度
∴θ+α+β=180度
このとき,
∠ACB=∠ACQ+∠QCP+∠PCR+∠RCB=2(∠QCP+∠PCR)=2θ=∠AOB
したがって,点Cは4点OATBを通る円周の弧AOB上のAC=CBとなる点である。
すなわち,点Cは点Pによらない定点である。![]()