例題はこちら（画像をクリックするとPDFファイルで開きます。）
類題はこちら（画像をクリックするとPDFファイルで開きます。）
複素数平面上の４点が同一円周上にあるための条件を考えるという問題で、この分野の有名事実の一つです。
幾何的な見方と、複素数を道具として使いこなす力とがバランスよく盛り込まれています。
問題のために作られた問題という作為めいたものはなく、どちらかというと古典的な内容です。
本問そのものが出題されるかどうかという目先の問題ではなく、本問に含まれる教訓を吸収してやるという意気込みで取り組んでみてほしいと思います。
（以下ネタバレ注意）
+ クリック（タップ）して続きを読む 中心と半径が具体的に分かっていれば、様々な手立てが考えられますが、本問においては中心、半径ともに与えられてはいません。 そこで、 と、幾何的に翻訳していきます。 そうなると、角度の設定が必要になります。 複素数平面における角度は偏角 (argument) に注目するのが自然です。 一般に \(\mathrm{A}(\alpha)\) , \(\mathrm{B}(\beta)\) , \(\mathrm{C}(\gamma)\)に対して、\(\mathrm{arg}\displaystyle \frac{\beta-\gamma}{\alpha-\gamma}\) は \(\overrightarrow{ \mathrm{CA} }\) を\(\overrightarrow{ \mathrm{CB} }\) に重ねるような回転量 を表します。 したがって左の図だと正の角度ですし、右の図だと負の角度です。 つまり、単純に \(\angle{\mathrm{ACB}}=\mathrm{arg}\displaystyle \frac{\beta-\gamma}{\alpha-\gamma}\) とはできないわけです。 本問においては４点の配置がどのようになっているかで、偏角（符号付きの角度）の扱い方が変わってくるため、場合分けが必要となります。 単純に４点の配置の仕方は４つの円順列を考えれば \((4-1)!=6\) 通り あります。 この６通りを個別にがむしゃらに調べてもいいですが、同じ要領で行ける部分は省エネしたいわけです。 そこで、 で場合分けをします。 なのか なのかでさらに場合分けをします。 どちらも \(\angle{\mathrm{ACB}}=\angle{\mathrm{ADB}}\) なのですが、これは上述したように、偏角で処理するためには角度の大きさだけでなく、回転の向きも考慮する必要があるためです。 ですから、 \(\angle{\mathrm{ACB}}+\angle{\mathrm{ADB}}=\pi\) と翻訳すればよいでしょう。 これも反時計回りと時計回りで場合分けをしてもいいですが、結局 \(\mathrm{arg}\displaystyle \frac{z_{2}-z_{3}}{z_{1}-z_{3}}+\mathrm{arg}\displaystyle \frac{z_{1}-z_{4}}{z_{2}-z_{4}}=\pm\pi\) と翻訳すれば十分です。 こちらは (2) が今回の話題ですが、単位円（原点中心、半径１の円）という具体的な円なので、例題の幾何的翻訳だけでなく、機械的な計算によって示すことも可能ですし、設問の流れを汲み取れば数式的に処理しろという声が聞こえてきそうな感じです。 京大らしからぬ小問に分かれた出題ですが、これは (2) は有名な事実だよね。じゃあ (3) についてはどう？ という感じなので、誘導的な小問というわけではなさそうです。 ある命題の逆はどうでしょうか？という必要性、十分性の議論は京大が昔から重視して問いかけてきている内容で、本問も味付けに京大らしさを感じます。 京大が表立ってわざわざ「必要十分条件」というワードを使ってくると身構えます。 【解答】では必要性と十分性を分けてそれぞれ丁寧に証明しました。例題について
例題はこちら（再掲）（画像をクリックするとPDFファイルで開きます。）
同一円周上にあることをどのように翻訳するか
偏角のモノの見方
４点の配置の場合分け
\(\mathrm{A}\) , \(\mathrm{B}\) が隣り合う位置関係のとき
\(\mathrm{A}\) , \(\mathrm{B}\) が対角上にあるような位置関係のとき
類題について
類題はこちら（再掲）（画像をクリックするとPDFファイルで開きます。）