# 共線と共点の名定理：Desargues・Pappus・Pascal・Brianchon・複比・Newton–Gauss 線・Morley > アフィン関数の零点集合として直線を扱い、Desargues の定理と Pappus の六角形定理を計算で、Pascal の定理（円）を Menelaus と方べきで、Brianchon の定理を極と極線の双対で、複比の中心射影不変性、Newton–Gauss 線、Morley の三等分線の定理を証明する。 > https://rikai.mugen-giken.com/mathematics/hs-geometry/projective-theorems ## 0. この記事の要点 地図の上で、3 つの地点が 1 本の道の上に並んでいるか、3 本の道が 1 点で交わっているか。こうした「並び方」の性質は、長さや角を測らなくても決まることがあります。この章では、その代表的な定理（Desargues、Pappus、Pascal など）を、計算で一つずつ確かめていきます。読み終えると、「3 点が一直線上にある」ことを「ある式の値が 0 になる」ことに置き換えて示す方法が使えるようになります。 - 「3 点が一直線上にある」を、**零にならないアフィン関数**（座標の 1 次式のこと）**の零点集合**に 3 点が乗っている、と言い換えます。すると Desargues の定理は、3 つの値を指定したアフィン関数を 1 つ作るだけの証明になります（）。 - **Pappus の六角形定理**は、座標の逆数を使うと「3 本のベクトルが 1 次従属」に帰着します（）。 - **Pascal の定理**（円に内接する六角形の対辺の交点は共線）は、Menelaus の定理（三角形の五心の章）と[方べき](/mathematics/hs-geometry/circle-geometry#def-power)の定理（円の幾何の章）から出ます（）。**Brianchon の定理**は、極と極線の対応で Pascal の定理を「双対」（点と直線の役割を入れ替えること）にしたものです（）。 - 4 点の**複比**（直線上の 4 点の位置関係を表す 1 つの数）は、中心射影（1 点から見て別の直線に写すこと）で変わりません（）。これが射影幾何の最初の定理です。 - 完全四辺形（四角形の 4 辺を延長してできる図形）の 3 本の対角線の中点が一直線上にある **Newton–Gauss 線**（）と、三角形の角の三等分線がつくる**正三角形**（Morley の定理、）も証明します。 ## 1. 動機 — 長さを使わない定理 これまでの章の定理は、長さと角を使うものが大半でした。この章の定理（Desargues・Pappus・Pascal・Brianchon）は、**点が共線であること、直線が共点であること**だけを述べます。長さも角も使わないので、座標平面を平行移動・回転・拡大・せん断で動かしても（実はもっと一般の射影変換でも）成り立ちます。「定理が成り立つ」ことの本質が、距離とは別のところにあることが見えてきます。 この章の道具は 2 つです。 1. **アフィン関数**。$f(\boldsymbol x)=\boldsymbol\lambda\cdot\boldsymbol x+\mu$（$\boldsymbol\lambda\ne\boldsymbol 0$）の零点集合は直線で、逆に直線はこの形の零点集合です。3 点が共線であることを示すには、3 点で $0$ になるアフィン関数を 1 つ見つければよい。 2. **斉次座標**。点 $(x,y)$ を 3 つ組 $(h_1,h_2,h_3)$（$x=h_1/h_3$、$y=h_2/h_3$）で表すと、3 点が共線であることは、3 つの 3 つ組が 1 次従属であることの言い換えになります。 ## 2. アフィン関数と共線 この節の補題は、次の節の Desargues の定理の証明で使う道具です。「直線は 1 次式が 0 になる点の集まり」「3 点での値を決めれば 1 次式がただ 1 つ決まる」「値は結合に対してそのまま計算できる」の 3 点がそろえば、3 点が共線であることを「1 次式の値が 0」で示せます。 1. $\boldsymbol\lambda\ne\boldsymbol 0$ のとき、$\{\boldsymbol x\mid\boldsymbol\lambda\cdot\boldsymbol x+\mu=0\}$ は直線である。逆に、すべての直線はこの形である。 2. 一直線上にない 3 点 $A,B,C$ と任意の実数 $u,v,w$ に対し、$f(A)=u$、$f(B)=v$、$f(C)=w$ を満たすアフィン関数 $f(\boldsymbol x)=\boldsymbol\lambda\cdot\boldsymbol x+\mu$ がただ 1 つ存在する。 3. アフィン関数 $f$ は、係数の和が $1$ の結合に対して $f\bigl(\sum t_i\boldsymbol p_i\bigr)=\sum t_if(\boldsymbol p_i)$（$\sum t_i=1$）を満たす。 4. 3 点が共線であるための十分条件は、それらすべてで $0$ になる定数でないアフィン関数があることである。 1: 前章の の 2 から、$\boldsymbol\lambda\ne\boldsymbol 0$ のときの零点集合は直線（$\boldsymbol a=-\mu\boldsymbol\lambda/|\boldsymbol\lambda|^2$ が零点）である。逆に直線は同じ命題の 1 により $\{\boldsymbol x\mid\det(\boldsymbol d,\boldsymbol x-\boldsymbol a)=0\}$ と書け、$\det(\boldsymbol d,\boldsymbol x-\boldsymbol a)$ は $\boldsymbol x$ のアフィン関数（係数ベクトルは $\boldsymbol d\ne\boldsymbol 0$ を $90^\circ$ 回転したもの）である。2: $f(B)-f(A)=\boldsymbol\lambda\cdot(\boldsymbol b-\boldsymbol a)$、$f(C)-f(A)=\boldsymbol\lambda\cdot(\boldsymbol c-\boldsymbol a)$ を $\boldsymbol\lambda$ の成分についての連立 1 次方程式と見ると、係数行列の行列式は $\det(\boldsymbol b-\boldsymbol a,\boldsymbol c-\boldsymbol a)\ne0$ なので解がただ 1 つあり（）、$\mu=u-\boldsymbol\lambda\cdot\boldsymbol a$。3: $f\bigl(\sum t_i\boldsymbol p_i\bigr)=\boldsymbol\lambda\cdot\sum t_i\boldsymbol p_i+\mu\sum t_i=\sum t_i(\boldsymbol\lambda\cdot\boldsymbol p_i+\mu)$。4: 1 による。 ## 3. Desargues の定理と Pappus の六角形定理 三角形 $ABC$ と $A'B'C'$ が、点 $O$ から見て透視的である、すなわち $\boldsymbol a'-\boldsymbol o=\alpha(\boldsymbol a-\boldsymbol o)$、$\boldsymbol b'-\boldsymbol o=\beta(\boldsymbol b-\boldsymbol o)$、$\boldsymbol c'-\boldsymbol o=\gamma(\boldsymbol c-\boldsymbol o)$ を満たすとする（$\alpha,\beta,\gamma\ne0,1$、$O$ は直線 $AB,BC,CA$ の上にない）。対応する辺の延長が交わるとする。すなわち $\alpha\ne\beta$、$\beta\ne\gamma$、$\gamma\ne\alpha$ で、直線 $AB$ と $A'B'$ の交点 $P$、$BC$ と $B'C'$ の交点 $Q$、$CA$ と $C'A'$ の交点 $R$ が存在するとする。このとき $P,Q,R$ は一直線上にある。
O A B C A' B' C' P Q R
証明の方針は次のとおりです。P, Q, R は 2 直線の交点なので、まず A, B, C の「結合」（係数の和が 1 の組み合わせ）として書き表します。次に、3 点すべてで 0 になる 1 次式を 1 つ作れば、補題により共線がいえます。1 次式の値を $\tfrac{1-\alpha}{\alpha}$ などに選ぶのは、P の式に代入したとき分子がちょうど打ち消し合うようにするためです。 $O$ を原点にとる。$O$ は直線 $AB$ 上にないので $\boldsymbol a,\boldsymbol b$ は 1 次独立で、$P=(1-t)A+tB=(1-u)A'+uB'=(1-u)\alpha A+u\beta B$ の係数を比べる（）と $1-t=(1-u)\alpha$、$t=u\beta$ で、$u=\dfrac{\alpha-1}{\alpha-\beta}$、$t=\dfrac{\beta(\alpha-1)}{\alpha-\beta}$。したがって $$ P=\frac{\alpha(1-\beta)\,A-\beta(1-\alpha)\,B}{\alpha-\beta},\qquad Q=\frac{\beta(1-\gamma)\,B-\gamma(1-\beta)\,C}{\beta-\gamma},\qquad R=\frac{\gamma(1-\alpha)\,C-\alpha(1-\gamma)\,A}{\gamma-\alpha} $$ （$Q,R$ は文字を巡回させたもの）で、係数の和はどれも $1$ である。三角形 $ABC$ の 3 点は一直線上にないので、 の 2 によりアフィン関数 $f$ で $f(A)=\dfrac{1-\alpha}{\alpha}$、$f(B)=\dfrac{1-\beta}{\beta}$、$f(C)=\dfrac{1-\gamma}{\gamma}$ となるものがある。 の 3 から $$ f(P)=\frac{\alpha(1-\beta)\frac{1-\alpha}{\alpha}-\beta(1-\alpha)\frac{1-\beta}{\beta}}{\alpha-\beta}=\frac{(1-\alpha)(1-\beta)-(1-\alpha)(1-\beta)}{\alpha-\beta}=0 $$ で、$f(Q)=f(R)=0$ も同様である。$f(A)\ne f(B)$（$f(A)=f(B)$ なら $\beta(1-\alpha)=\alpha(1-\beta)$ すなわち $\alpha=\beta$）なので $f$ は定数でなく、 の 4 により $P,Q,R$ は一直線上にある。 相異なる 2 直線 $\ell,m$ 上にそれぞれ 3 点 $A,B,C\in\ell$、$A',B',C'\in m$ をとる（$\ell,m$ が交わるときは交点 $O$ と異なるとする）。直線 $AB'$ と $A'B$、$AC'$ と $A'C$、$BC'$ と $B'C$ の交点 $P,Q,R$ が存在するとき、$P,Q,R$ は一直線上にある。 証明の方針は、3 点 P, Q, R を座標で具体的に求め、3 つの座標の組のあいだに $h_Q-h_P=h_R$ という関係があることを見ることです。点 $(x,y)$ を 3 つ組 $(x,\,y,\,1)$ の定数倍で表しておくと、「3 点が共線」は「3 つの 3 つ組が 1 次従属」と同じ意味になります（その 3 つ組を並べた行列式が 0 になるため）。座標軸に逆数を使うのは、直線の式が $\alpha x+\beta' y=1$ のような簡単な形になるからです。 3 点が共線であることは、座標の取り方（可逆な 1 次変換と平行移動）によらない（直線 $\{\boldsymbol a+t\boldsymbol d\}$ はこれらの変換で直線に移る。 の 1）。点 $(x,y)$ に斉次座標 $(h_1,h_2,h_3)$（$x=h_1/h_3$、$y=h_2/h_3$、$h_3\ne0$）を対応させると、3 点 $P,Q,R$ の斉次座標を並べた 3 行 3 列の行列式が $0$（1 次従属）ならば、各行を $h_3$ で割った行列 $\begin{pmatrix}x_P&y_P&1\\x_Q&y_Q&1\\x_R&y_R&1\end{pmatrix}$ の行列式も $0$ で、これは $2S(P,Q,R)$ に等しい（前章の の 1）ので、$P,Q,R$ は共線である。 **$\ell,m$ が交わる場合**。$O$ を原点、$\ell$ を $x$ 軸、$m$ を $y$ 軸とする座標をとる。$A=(a,0)$、$B=(b,0)$、$C=(c,0)$、$A'=(0,a')$、$B'=(0,b')$、$C'=(0,c')$（すべて $\ne0$）で、逆数 $\alpha=\tfrac1a$、$\beta=\tfrac1b$、$\gamma=\tfrac1c$、$\alpha'=\tfrac1{a'}$、$\beta'=\tfrac1{b'}$、$\gamma'=\tfrac1{c'}$ をとる。直線 $AB'$ は $\alpha x+\beta'y=1$、$A'B$ は $\beta x+\alpha'y=1$ なので、クラメルの公式から $$ P=\Bigl(\frac{\alpha'-\beta'}{\alpha\alpha'-\beta\beta'},\ \frac{\alpha-\beta}{\alpha\alpha'-\beta\beta'}\Bigr) $$ で、斉次座標は $h_P=(\alpha'-\beta',\ \alpha-\beta,\ \alpha\alpha'-\beta\beta')$。同様に $h_Q=(\alpha'-\gamma',\ \alpha-\gamma,\ \alpha\alpha'-\gamma\gamma')$、$h_R=(\beta'-\gamma',\ \beta-\gamma,\ \beta\beta'-\gamma\gamma')$ で、 $$ h_Q-h_P=(\beta'-\gamma',\ \beta-\gamma,\ \beta\beta'-\gamma\gamma')=h_R $$ である。3 つの斉次座標は 1 次従属なので、$P,Q,R$ は共線である。 **$\ell\parallel m$ の場合**。$\ell$ を $y=0$、$m$ を $y=1$ とし、$A=(a,0)$、$B=(b,0)$、$C=(c,0)$、$A'=(a',1)$、$B'=(b',1)$、$C'=(c',1)$ とする。直線 $AB'$ は $x=a+(b'-a)y$、$A'B$ は $x=b+(a'-b)y$ なので、交点は $y=\dfrac{b-a}{b+b'-a-a'}$、$x=\dfrac{bb'-aa'}{b+b'-a-a'}$。斉次座標は $h_P=(bb'-aa',\ b-a,\ b+b'-a-a')$、同様に $h_Q=(cc'-aa',\ c-a,\ c+c'-a-a')$、$h_R=(cc'-bb',\ c-b,\ c+c'-b-b')$ で、やはり $h_Q-h_P=h_R$ である。
A B C A' B' C' P Q R
## 4. Pascal の定理・極と極線・Brianchon の定理 円周上の相異なる 6 点 $A,B,C,D,E,F$ について、直線 $AB,CD,EF$ は三角形 $XYZ$（$X=AB\cap CD$、$Y=CD\cap EF$、$Z=EF\cap AB$）をつくるとし（どの 2 本も平行でなく、3 本は 1 点で交わらない）、対辺の交点 $P=AB\cap DE$、$Q=BC\cap EF$、$R=CD\cap FA$ が存在するとする。このとき $P,Q,R$ は一直線上にある。 証明の方針は次のとおりです。直線 $AB,CD,EF$ がつくる三角形 $XYZ$ に、直線 $DE$、$BC$、$FA$ をそれぞれ Menelaus の定理で当てはめると、3 本の等式が得られます。それらを掛け合わせると、円の方べきの定理により頂点ごとの比がきれいに 1 になり、残るのは $P,Q,R$ についての Menelaus の定理の逆の形です。 6 点は円周上の相異なる点で、直線と円は高々 2 点で交わるので、頂点 $X,Y,Z$ は 6 点のどれとも異なり、$P,Q,R$ も $X,Y,Z$ および 6 点のどれとも異ならない（たとえば $X=D$ なら $D\in AB$ となり、$D\in\{A,B\}$ に反する）。各直線に向きを 1 つ決め、同じ直線上の点は座標で表して、比 $\dfrac{UV}{VW}$ を座標の差の比とする。 三角形 $XYZ$ について、直線 $DE$ は辺 $XY$（直線 $CD$）と $D$、辺 $YZ$（直線 $EF$）と $E$、辺 $ZX$（直線 $AB$）と $P$ で交わる。Menelaus の定理（）から、同様に直線 $BC$、$FA$ についても $$ \frac{YE}{EZ}\cdot\frac{ZP}{PX}\cdot\frac{XD}{DY}=-1,\quad\frac{YQ}{QZ}\cdot\frac{ZB}{BX}\cdot\frac{XC}{CY}=-1,\quad\frac{YF}{FZ}\cdot\frac{ZA}{AX}\cdot\frac{XR}{RY}=-1. $$ 3 式を掛けて分母と分子を組み替えると $$ \Bigl(\frac{ZP}{PX}\cdot\frac{XR}{RY}\cdot\frac{YQ}{QZ}\Bigr)\cdot\frac{XD\cdot XC}{AX\cdot BX}\cdot\frac{YE\cdot YF}{DY\cdot CY}\cdot\frac{ZB\cdot ZA}{EZ\cdot FZ}=-1 $$ となる。方べきの定理（ の 1）から、直線 $CD$ 上で $XC\cdot XD=\operatorname{pow}(X)$、直線 $AB$ 上で $AX\cdot BX=\operatorname{pow}(X)$（符号付きの長さの積は、点 $X$ から測った座標の積で、内積に等しい）なので $\dfrac{XD\cdot XC}{AX\cdot BX}=1$。同様に $Y$（直線 $EF$ と $CD$）、$Z$（直線 $AB$ と $EF$）でも比は $1$ である。したがって $$ \frac{YQ}{QZ}\cdot\frac{ZP}{PX}\cdot\frac{XR}{RY}=-1 $$ で、$Q\in YZ$、$P\in ZX$、$R\in XY$ に対する Menelaus の定理の逆により、$Q,P,R$ は一直線上にある。 円（中心 $C_0$、半径 $r$）の点 $P\ne C_0$ の**極線**を $\ell_P=\{\boldsymbol x\mid(\boldsymbol p-\boldsymbol c_0)\cdot(\boldsymbol x-\boldsymbol c_0)=r^2\}$ と定めます（）。円周上の点では $\ell_P$ は[接線](/mathematics/hs-geometry/circle-geometry#def-tangent)です。点 $P$ を決めると直線 $\ell_P$ が 1 本決まる、という「点と直線の対応」が、この後の双対の正体です。 円 $\Gamma(C_0,r)$ について、次が成り立つ。 1. （La Hire）$Q\in\ell_P\iff P\in\ell_Q$（ の 1）。 2. $C_0$ を通らない直線 $m$ に対し、$\ell_M=m$ となる点 $M\ne C_0$（$m$ の**極**）がただ 1 つ存在する。 3. 一直線 $m$ 上の 3 点 $X_1,X_2,X_3\ne C_0$ について、$m$ が $C_0$ を通らなければ、極線 $\ell_{X_1},\ell_{X_2},\ell_{X_3}$ は $m$ の極 $M$ で交わる。$m$ が $C_0$ を通れば、3 本の極線は互いに平行である。 2: $m=\{\boldsymbol x\mid\boldsymbol n\cdot(\boldsymbol x-\boldsymbol c_0)=c\}$（$|\boldsymbol n|=1$、$c\ne0$ は $C_0$ から $m$ までの符号つき距離）と書く。$\boldsymbol m-\boldsymbol c_0=\dfrac{r^2}{c}\boldsymbol n$ の点 $M$ に対し $\ell_M=\{\boldsymbol x\mid\tfrac{r^2}c\,\boldsymbol n\cdot(\boldsymbol x-\boldsymbol c_0)=r^2\}=m$ で、$\ell_M=m$ を満たす $M$ は、法線ベクトルの比較からこれだけである。3: $X_i\in m=\ell_M$ なので、1 により $M\in\ell_{X_i}$ である。$m$ が $C_0$ を通るとき、$X_i-C_0$ はすべて $m$ の方向ベクトルの実数倍で、$\ell_{X_i}$ の法線ベクトルが平行なので、極線は平行である。 円 $\Gamma(C_0,r)$ の相異なる 6 点 $P_1,\dots,P_6$ における接線 $t_1,\dots,t_6$ について、隣り合う接線 $t_i,t_{i+1}$（$t_7=t_1$）が交点 $V_{i,i+1}$ をもつとする（外接六角形の頂点が $V_{12},V_{23},V_{34},V_{45},V_{56},V_{61}$）。さらに、六角形 $P_1P_2P_3P_4P_5P_6$ に の仮定が成り立つとする（直線 $P_1P_2,P_3P_4,P_5P_6$ が三角形をつくり、対辺の交点 $X_1=P_1P_2\cap P_4P_5$、$X_2=P_2P_3\cap P_5P_6$、$X_3=P_3P_4\cap P_6P_1$ が存在する）。このとき、主対角線 $V_{12}V_{45}$、$V_{23}V_{56}$、$V_{34}V_{61}$ は 1 点で交わるか、3 本とも平行である。 証明の方針は、外接六角形の頂点を、その接点を結ぶ直線の極（上で定めた極線の元の点）として見ることです。主対角線が、Pascal の定理に出てくる対辺の交点 $X_1,X_2,X_3$ の極線になることを示せば、$X_1,X_2,X_3$ が共線であることから、極と極線の双対（上の命題の 3）により 3 本の主対角線が共点（または平行）とわかります。 $V=V_{12}$ は接線 $t_1,t_2$ の交点なので、$t_i=\ell_{P_i}$ から $(\boldsymbol p_i-\boldsymbol c_0)\cdot(\boldsymbol v-\boldsymbol c_0)=r^2$（$i=1,2$）で、$P_1,P_2$ はともに $V$ の極線 $\ell_V$ 上にあり、$\ell_V$ は直線 $P_1P_2$ である。同様に $\ell_{V_{45}}=P_4P_5$。直線 $P_1P_2$ は直径でない（$V_{12}$ が存在する）ので $X_1\ne C_0$ で、$X_1\in\ell_{V_{12}}\cap\ell_{V_{45}}$ から、La Hire（ の 1）により $V_{12},V_{45}\in\ell_{X_1}$。1 点を通る接線は 2 本だけなので $V_{12}\ne V_{45}$ で、主対角線 $V_{12}V_{45}$ は $X_1$ の極線 $\ell_{X_1}$ である。同様に $V_{23}V_{56}=\ell_{X_2}$、$V_{34}V_{61}=\ell_{X_3}$。Pascal の定理（。六角形 $P_1P_2P_3P_4P_5P_6$ の対辺の交点が $X_1,X_2,X_3$）から $X_1,X_2,X_3$ は共線なので、 の 3 により、極線 $\ell_{X_1},\ell_{X_2},\ell_{X_3}$ は 1 点で交わるか、互いに平行である。 ## 5. 複比と Newton–Gauss 線 一直線上の相異なる 4 点 $A,B,C,D$ を、直線上の座標 $t_A,t_B,t_C,t_D$ で表す（直線に 1 つ向きと原点を決める）。 $$ (A,B;C,D)=\frac{(t_C-t_A)(t_D-t_B)}{(t_C-t_B)(t_D-t_A)} $$ を**複比**という。座標の取り方（$t\mapsto st+u$、$s\ne0$）によらない。 点 $O$ を通る 4 直線が、$O$ を通らない直線 $\ell$、$\ell'$ とそれぞれ $A,B,C,D$ と $A',B',C',D'$ で交わるとき、$(A,B;C,D)=(A',B';C',D')$ である。 $O$ を原点とし、$\boldsymbol a,\boldsymbol b,\boldsymbol c,\boldsymbol d$ を位置ベクトルとする。$\ell$ 上の点は $\boldsymbol x_t=\boldsymbol x_0+t\boldsymbol e$ と書け、$\det(\boldsymbol x_s,\boldsymbol x_t)=(t-s)\det(\boldsymbol x_0,\boldsymbol e)$（$\det(\boldsymbol x_0,\boldsymbol e)\ne0$。$O\notin\ell$ による）なので、$t_C-t_A=\dfrac{\det(\boldsymbol a,\boldsymbol c)}{K}$、$t_C-t_B=\dfrac{\det(\boldsymbol b,\boldsymbol c)}{K}$ などと書ける（$K=\det(\boldsymbol x_0,\boldsymbol e)$）。したがって $$ (A,B;C,D)=\frac{\det(\boldsymbol a,\boldsymbol c)\det(\boldsymbol b,\boldsymbol d)}{\det(\boldsymbol b,\boldsymbol c)\det(\boldsymbol a,\boldsymbol d)} $$ である。右辺の分子分母で、$\boldsymbol a,\boldsymbol b,\boldsymbol c,\boldsymbol d$ はそれぞれ同じ回数（分子に 1 回、分母に 1 回）現れるので、各ベクトルを零でない定数倍しても変わらない。$A'$ は半直線（または直線）$OA$ 上にあり $\boldsymbol a'=\lambda\boldsymbol a$（$\lambda\ne0$）なので、$(A',B';C',D')$ も同じ式になり、等しい。 四角形 $ABCD$（どの 3 頂点も一直線上にない）について、直線 $AB$ と $CD$ が点 $E$ で、直線 $AD$ と $BC$ が点 $F$ で交わるとする。対角線 $AC$、$BD$、$EF$ の中点は一直線上にある。 $E$ を原点、直線 $AB$ の方向ベクトルを $\boldsymbol u$、直線 $CD$ の方向ベクトルを $\boldsymbol v$（1 次独立）とし、$A=\alpha\boldsymbol u$、$B=\beta\boldsymbol u$、$C=\gamma\boldsymbol v$、$D=\delta\boldsymbol v$（すべて $\ne0$、$\alpha\ne\beta$、$\gamma\ne\delta$）と書く。点 $s\boldsymbol u+t\boldsymbol v$ を座標 $(s,t)$ で表す。直線 $AD$ は $\dfrac s\alpha+\dfrac t\delta=1$、$BC$ は $\dfrac s\beta+\dfrac t\gamma=1$ で、交点 $F=(s,t)$ は、$\Delta=\dfrac1{\alpha\gamma}-\dfrac1{\beta\delta}=\dfrac{\beta\delta-\alpha\gamma}{\alpha\beta\gamma\delta}\ne0$ として $$ s=\frac{1}{\Delta}\cdot\frac{\delta-\gamma}{\gamma\delta},\qquad t=\frac1\Delta\cdot\frac{\beta-\alpha}{\alpha\beta} $$ である。$AC$、$BD$、$EF$ の中点は $\tfrac12(\alpha,\gamma)$、$\tfrac12(\beta,\delta)$、$\tfrac12(s,t)$ で、共線であることは $(\alpha,\gamma)$、$(\beta,\delta)$、$(s,t)$ が共線であることと同値である（原点を中心とする拡大で共線性は変わらない）。行列式を展開すると $$ \det\begin{pmatrix}\alpha&\gamma&1\\\beta&\delta&1\\s&t&1\end{pmatrix}=(\alpha\delta-\beta\gamma)+t(\beta-\alpha)-s(\delta-\gamma) $$ で、$t(\beta-\alpha)-s(\delta-\gamma)=\dfrac{\gamma\delta(\beta-\alpha)^2-\alpha\beta(\delta-\gamma)^2}{\beta\delta-\alpha\gamma}=\dfrac{(\beta\gamma-\alpha\delta)(\beta\delta-\alpha\gamma)}{\beta\delta-\alpha\gamma}=\beta\gamma-\alpha\delta$（分子は展開して因数分解した）。よって行列式は $0$ で、3 点は共線である。 ## 6. Morley の定理 任意の実数 $\theta$ について $\sin3\theta=4\sin\theta\,\sin\bigl(\tfrac\pi3-\theta\bigr)\sin\bigl(\tfrac\pi3+\theta\bigr)$ である。 積和の公式（）から $\sin(\tfrac\pi3+\theta)\sin(\tfrac\pi3-\theta)=-\tfrac12\bigl[\cos\tfrac{2\pi}3-\cos2\theta\bigr]=\tfrac14+\tfrac12\cos2\theta=\tfrac34-\sin^2\theta$（$\cos\frac{2\pi}{3}=-\frac12$、$\cos2\theta=1-2\sin^2\theta$）。よって右辺は $4\sin\theta(\tfrac34-\sin^2\theta)=3\sin\theta-4\sin^3\theta=\sin3\theta$（ の 3）である。 三角形 $ABC$ の内角を $A=3\alpha$、$B=3\beta$、$C=3\gamma$ とし、頂点 $B,C$ の三等分線のうち辺 $BC$ に近い 2 本の交点を $X$、$C,A$ の三等分線のうち辺 $CA$ に近い 2 本の交点を $Y$、$A,B$ の三等分線のうち辺 $AB$ に近い 2 本の交点を $Z$ とする。$XYZ$ は正三角形である。 証明の方針は、$X,Z$ から頂点 $B$ までの距離を正弦定理で求め、三角形 $XBZ$ に余弦定理を使って辺 $XZ$ の長さを出すことです。結果が $8R\sin\alpha\sin\beta\sin\gamma$ と $\alpha,\beta,\gamma$ について対称になるので、他の 2 辺も同じ長さになります。途中の三角関数の計算は、その長さの括弧の中が $\sin^2\beta$ にまとまることを示すためのものです。 外接円の半径を $R$ とし、$\alpha+\beta+\gamma=\dfrac\pi3$ に注意する（）。 **$X$ の位置**。$B=(0,0)$、$C=(a,0)$、$A$ を上半平面に取る。$B$ から辺 $BC$ と角 $\beta$ をなす半直線上の点 $X=\lambda e(\beta)$（$\lambda>0$）と、$C$ から角 $\gamma$ をなす半直線上の点 $X=C+\mu e(\pi-\gamma)$（$\mu>0$）が一致する条件は、成分を比べて $\lambda\cos\beta=a-\mu\cos\gamma$、$\lambda\sin\beta=\mu\sin\gamma$ で、解は $\lambda=\dfrac{a\sin\gamma}{\sin(\beta+\gamma)}>0$、$\mu=\dfrac{a\sin\beta}{\sin(\beta+\gamma)}>0$ とただ 1 つ存在する（角の向きと側から方向が決まることは ）。すなわち $|BX|=\dfrac{a\sin\gamma}{\sin(\beta+\gamma)}$。同様に、辺 $AB$ に近い三等分線の交点 $Z$ について、三角形 $ABZ$ の角は $A$ で $\alpha$、$B$ で $\beta$ なので、$|BZ|=\dfrac{c\sin\alpha}{\sin(\alpha+\beta)}$ である。 **長さの計算**。正弦定理（）から $a=2R\sin3\alpha$、$c=2R\sin3\gamma$、また $\beta+\gamma=\tfrac\pi3-\alpha$、$\alpha+\beta=\tfrac\pi3-\gamma$ なので、 により $$ |BX|=\frac{2R\sin3\alpha\,\sin\gamma}{\sin(\frac\pi3-\alpha)}=8R\sin\alpha\sin\gamma\sin\Bigl(\frac\pi3+\alpha\Bigr),\qquad|BZ|=8R\sin\gamma\sin\alpha\sin\Bigl(\frac\pi3+\gamma\Bigr). $$ 頂点 $B$ では、$BX$ は $BC$ と角 $\beta$、$BZ$ は $BA$ と角 $\beta$ をなすので、角の加法（）から $\angle XBZ=3\beta-\beta-\beta=\beta$ である。余弦定理（）を三角形 $XBZ$ に使うと、$x=\tfrac\pi3+\alpha$、$y=\tfrac\pi3+\gamma$ として $$ |XZ|^2=(8R\sin\alpha\sin\gamma)^2\bigl[\sin^2x+\sin^2y-2\sin x\sin y\cos\beta\bigr]. $$ $x+y=\tfrac{2\pi}3+\alpha+\gamma=\pi-\beta$ なので $\cos\beta=-\cos(x+y)$、また加法定理から $\sin^2(x+y)=\sin^2x+\sin^2y+2\sin x\sin y\cos(x+y)$（右辺を展開して左辺と比べる）なので、括弧の中は $\sin^2(x+y)=\sin^2\beta$。したがって $$ |XZ|=8R\sin\alpha\sin\beta\sin\gamma. $$ この値は $\alpha,\beta,\gamma$ の入れ替えで変わらないので、頂点の名前を巡回させた $|YX|$、$|ZY|$ も同じ値で、$XYZ$ は正三角形である。 ## 7. 大学ではどこへ続くか - **射影幾何**（algebraic-geometry の射影空間）。斉次座標で点を表し、直線を 1 次方程式で表す立場では、Desargues・Pappus・Pascal の定理は、公理（[射影平面](/mathematics/finite-fields-coding/finite-geometry-designs#def-projective-plane)の公理）から証明されるか、体の可換性・結合性と同値になります（Desargues の定理は射影平面が斜体（掛け算の交換法則を仮定しない体）の上の平面であることと、Pappus の定理は体が可換であることと同値）。Pascal の定理は円錐曲線一般で成り立ちます。 - **複比と等角写像**（[等角写像](/mathematics/complex-analysis/conformal-mapping)）。 の複比は、複素数では $\dfrac{(z_3-z_1)(z_4-z_2)}{(z_3-z_2)(z_4-z_1)}$ で、1 次分数変換で不変です。相異なる 4 点が同一円周上または同一直線上にあるための条件は、複比が実数であることです（円の幾何の章で共円条件を角で調べたことの言い換え）。 - **双対性**。点と直線、共線と共点を入れ替える対応は、射影平面の双対原理で、 はその最も有名な例です。 - **Morley の定理と複素数**。Morley の定理は、Napoleon の定理（辺に立てた正三角形の中心が正三角形をつくる）と並べて、複素数で議論することもできます（次の[複素数平面と作図](/mathematics/hs-geometry/complex-plane)の章）。 ## 8. 演習 直線上の 4 点の座標が $0,1,2,4$（順に $A,B,C,D$）であるとき、複比 $(A,B;C,D)$ を求めよ。 $(A,B;C,D)=\dfrac{(2-0)(4-1)}{(2-1)(4-0)}=\dfrac{6}{4}=\dfrac32$。 $A=(0,0)$、$B=(4,0)$、$C=(3,2)$、$D=(0,3)$ の四角形について、$E=AB\cap CD$、$F=AD\cap BC$ と、対角線 $AC,BD,EF$ の中点を求め、共線であることを確かめよ。 直線 $CD$ は $y=3-\tfrac x3$ で、$y=0$（直線 $AB$）との交点は $E=(9,0)$。直線 $AD$ は $x=0$、直線 $BC$ は $y=-2(x-4)$ で、$F=(0,8)$。中点は $AC$ が $(\tfrac32,1)$、$BD$ が $(2,\tfrac32)$、$EF$ が $(\tfrac92,4)$。第 1・第 2 の点を結ぶ傾きは $\dfrac{1/2}{1/2}=1$、第 1・第 3 の点を結ぶ傾きは $\dfrac{3}{3}=1$ で等しく、3 点は一直線上にある（）。 正三角形（外接円の半径 $R$）の Morley 三角形の 1 辺の長さを求めよ。 $\alpha=\beta=\gamma=\dfrac\pi9$（$20^\circ$）なので、 の証明から辺は $8R\sin^3\dfrac\pi9=8R\sin^320^\circ\approx0.32R$ である。（正三角形の辺は $\sqrt3R\approx1.73R$ なので、およそ $0.18$ 倍。） ## 参考文献 - H. S. M. Coxeter, S. L. Greitzer, *Geometry Revisited*, Mathematical Association of America, 1967 — 第 3 章（共線と共点：Desargues・Pappus・Pascal）、第 6 章（射影幾何入門：複比）。 - H. S. M. Coxeter, *Projective Geometry*, 2nd ed., Springer, 1987 — Desargues・Pappus・Pascal・Brianchon の定理、複比。 - Robin Hartshorne, *Geometry: Euclid and Beyond*, Springer, 2000 — Desargues・Pappus の定理の公理的な位置づけ。 - Alain Connes, “A new proof of Morley’s theorem”, *Publications Mathématiques de l’IHÉS* S88 (1998) 43–46 — Morley の定理の別証明。