複素数平面において正三角形となる条件

複素数 α,β,γ\alpha,\beta,\gamma に対応する複素数平面上の3点 A(α),B(β),C(γ)A(\alpha), B(\beta), C(\gamma) が正三角形となる必要十分条件は，

(α−β)2+(β−γ)2+(γ−α)2=0(\alpha-\beta)^2+(\beta-\gamma)^2+(\gamma-\alpha)^2=0

複素数平面における有名な定理です。この定理の証明を2通り解説します。

複素数平面における正三角形

  • まずは具体例で確認してみます。
    A(0),B(1),C(1+3i2)A(0), B(1), C\left(\dfrac{1+\sqrt{3}i}{2}\right) とすると ABCABC は正三角形となることが（図示してみれば）簡単に分かります。差の二乗和を計算してみると，12+(1+3i2)2+(1−3i2)2=01^2+\left(\dfrac{1+\sqrt{3}i}{2}\right)^2+\left(\dfrac{1-\sqrt{3}i}{2}\right)^2=0 となり，定理が成立していることが確認できます。
  • 定理の条件は α2+β2+γ2=αβ+βγ+γα\alpha^2+\beta^2+\gamma^2=\alpha\beta+\beta\gamma+\gamma\alpha と書くこともできます。こちらの形で出題されることもあります。
  • 差の二乗和が 00 になるという条件は実数に限れば α=β=γ\alpha=\beta=\gamma のみですが，複素数まで広げると様々な複素数の組で条件が満たされます。
  • α=β=γ\alpha=\beta=\gamma の場合は辺の長さが無限小の正三角形とみなす立場です。以下では α,β,γ\alpha,\beta,\gamma が全て異なる場合を考えて証明します。

複素数平面における正三角形条件の証明1

複素数平面における回転が複素数の積に対応していることを使います。

証明

ABCABC が正三角形となるとき，以下の2パターンが考えられる。

  1. 三点 ABCABC が反時計回りに並んでいるとき，
    ABundefined\overrightarrow{AB} を AA を中心に 60∘60^{\circ} 回転させたものが ACAC となるので， γ−α=(1+3i2)(β−α) \gamma-\alpha=\left(\dfrac{1+\sqrt{3}i}{2}\right)(\beta-\alpha)

  2. 三点 ABCABC が時計回りに並んでいるとき，
    ABundefined\overrightarrow{AB} を AA を中心に −60∘-60^{\circ} 回転させたものが ACAC となるので， γ−α=(1−3i2)(β−α) \gamma-\alpha= \left( \dfrac{1-\sqrt{3}i}{2} \right) (\beta-\alpha)

いずれの場合も ±3i\pm \sqrt{3}i 以外を左辺に移項して両辺二乗すると，

(2(γ−α)β−α−1)2=−3  ⋯(※) \left(\dfrac{2(\gamma-\alpha)}{\beta-\alpha}-1\right)^2=-3\:\:\cdots (※)

逆に (※)(※) が成立するとき上記の2パターンの式のいずれかが成立するので ABCABC は正三角形となる。

よって，(※)(※) が複素数平面において三点が正三角形となる必要十分条件である。これを展開して整理すると，α2+β2+γ2=αβ+βγ+γα\alpha^2+\beta^2+\gamma^2=\alpha\beta+\beta\gamma+\gamma\alpha となる。

複素数平面における正三角形条件の証明2

証明

ABundefined\overrightarrow{AB} から見た BCundefined\overrightarrow{BC} の回転角と拡大率を Z1Z_1 とおく：

γ−β=Z1(β−α)\gamma-\beta=Z_1(\beta-\alpha)

BCundefined\overrightarrow{BC} から見た CAundefined\overrightarrow{CA} の回転角と拡大率を Z2Z_2 とおく：

α−γ=Z2(γ−β)\alpha-\gamma=Z_2(\gamma-\beta)

正三角形となる必要十分条件は Z1=Z2Z_1=Z_2 なので（注）

求める条件は，

γ−ββ−α=α−γγ−β \dfrac{\gamma-\beta}{\beta-\alpha}=\dfrac{\alpha-\gamma}{\gamma-\beta}

これを整理すると α2+β2+γ2=αβ+βγ+γα\alpha^2+\beta^2+\gamma^2=\alpha\beta+\beta\gamma+\gamma\alpha となる。

注：「正三角形→ Z1=Z2Z_1=Z_2 」であるのは自明。

「Z1=Z2Z_1=Z_2 →正三角形」については，

「回転角が等しい→ ∠B=∠C\angle B=\angle C → AB=ACAB=AC 」であり等しい拡大率は 11 であることから AB=BC=CAAB=BC=CA が言える。

いろいろな条件

ここまでで，正三角形となる必要十分条件を2つ紹介しました：

  1. (α−β)2+(β−γ)2+(γ−α)2=0(\alpha-\beta)^2+(\beta-\gamma)^2+(\gamma-\alpha)^2=0

  2. α2+β2+γ2=αβ+βγ+γα\alpha^2+\beta^2+\gamma^2=\alpha\beta+\beta\gamma+\gamma\alpha

実は，2を強めた以下の式が京大2005年理系大問3で出題されています。

  1. α2+β2+γ2=α+β+γ=0\alpha^2+\beta^2+\gamma^2=\alpha+\beta+\gamma=0

「3ならば2」は簡単に示せるので，3は正三角形となる十分条件です。また，以下の式が九大2023年理系大問1で出題されています。

  1. (α−β)4+(β−γ)4+(γ−α)4=0(\alpha-\beta)^4+(\beta-\gamma)^4+(\gamma-\alpha)^4=0

4は，以下のように1と同値であることがわかります。つまり，正三角形となる必要十分条件です。

証明

x4+y4+z4=(x2+y2+z2)2−2(x2y2+y2z2+z2x2)=(x2+y2+z2)2−2{(xy+yz+zx)2−2xyz(x+y+z)}\begin{aligned} &x^4+y^4+z^4\\ &=(x^2+y^2+z^2)^2-2(x^2y^2+y^2z^2+z^2x^2)\\ &=(x^2+y^2+z^2)^2-2\{(xy+yz+zx)^2-2xyz(x+y+z)\} \end{aligned}

に注意する。x=α−β,y=β−γ,z=γ−αx=\alpha-\beta,y=\beta-\gamma,z=\gamma-\alpha とおくと，x+y+z=0x+y+z=0 かつ

xy+yz+zx=−(α2+β2+γ2−αβ−βγ−γα)=−12{(α−β)2+(β−γ)2+(γ−α)2}=−x2+y2+z22\begin{aligned} &xy+yz+zx\\ &=-(\alpha^2+\beta^2+\gamma^2-\alpha\beta-\beta\gamma-\gamma\alpha)\\ &=-\dfrac{1}{2}\{(\alpha-\beta)^2+(\beta-\gamma)^2+(\gamma-\alpha)^2\}\\ &=-\dfrac{x^2+y^2+z^2}{2} \end{aligned}

以上より

x4+y4+z4=12(x2+y2+z2)2 x^4+y^4+z^4=\dfrac{1}{2} (x^2+y^2+z^2)^2

となり1と4は同値。

2乗でも4乗でも正三角形というのはおもしろいですね。

Tag:数学Cの教科書に載っている公式の解説一覧

関連記事

サムネイル

一次不定方程式ax+by=cの整数解

サムネイル

三角関数の３通りの定義とメリットデメリット

サムネイル

部分分数分解など差に分解する４つの恒等式

サムネイル

領域における最大・最小問題（線形計画法）

サムネイル

反復試行の確率の公式といろいろな例題

サムネイル

分数で表された数列の和の問題と一般化

人気記事

サムネイル

平均値，中央値，最頻値の求め方といくつかの例

サムネイル

共分散の意味と簡単な求め方

サムネイル

部分分数分解の３通りの方法

サムネイル

放物線と直線で囲まれた面積を高速で求める1/6公式

サムネイル

リーマン予想の意味，素数分布との関係

サムネイル

判別式まとめ【2次方程式の実数解・x軸との共有点の個数】

この記事に関連するQ&A

高校三年生です。古文の複合動詞について質問があります 2023年共通テスト追試験 「見なし聞こゆ」 は複合動詞であるとも 1
4番が分かりません。答えは９cm³になっています。 2
こんにちは。中学3年生です。理科の問題で質問です。 問題文はこれです。図1というのは写真の図です。 抵抗器Aと電圧計を繋 3
国語？の質問です。 悲観論者、悲観主義者などのように〜論者、〜主義者と言う言い方がありますが、この２つは何か違いがあるの 4
ヘキストワッカー法により、エチレンを塩化パラジウムと塩化銅を触媒として酸化するとアセトアルデヒドが得られる。 と問題集に 5