フェルマーの最終定理とフィボナッチ数とリュカ数を因数分解

1599

フェルマーの最終定理とフィボナッチ数とリュカ数を因数分解

フェルマーの最終定理を因数分解

いつものように $1$ と $z = P^{\frac{k}{n}} = e^{\frac{2 k π}{n} i}$ を基底の元とする斜交座標系を考えておりましたところ、ふと、こんなイメージが浮かびました。

${x, y \in R 、 n \in Z^{+}}$ において

$\prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}}) = x^{n} - (- 1)^{n} \cdot y^{n}$
　（ $n$ が偶数なら $x^{n} - y^{n}$ 、 $n$ が奇数なら $x^{n} + y^{n}$ ）
$\to \prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}} \cdot \underset{(- 1)^{n}}{\underset{⏟}{P^{\frac{n}{2}}}}) = x^{n} - y^{n}$
　　　（ $n$ の偶奇に依らず $x^{n} - y^{n}$ ）

$\prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}} \cdot \underset{(- 1)^{\frac{1}{n}}}{\underset{⏟}{P^{\frac{1}{2 n}}}}) = x^{n} + (- 1)^{n} \cdot y^{n}$
　（ $n$ が偶数なら $x^{n} + y^{n}$ 、 $n$ が奇数なら $x^{n} - y^{n}$ ）
$\to \prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}} \cdot \underset{(- 1)^{\frac{1}{n}}}{\underset{⏟}{P^{\frac{1}{2 n}}}} \cdot \underset{(- 1)^{n}}{\underset{⏟}{P^{\frac{n}{2}}}}) = x^{n} + y^{n}$
　　　（ $n$ の偶奇に依らず $x^{n} + y^{n}$ ）

すなわち
${\begin{cases} x^{n} - y^{n} = \prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}} \cdot \underset{(- 1)^{n}}{\underset{⏟}{P^{\frac{n}{2}}}}) & = \prod_{k = 0}^{n - 1} (x + y P^{\frac{n^{2} + 2 k}{2 n}}) \\ x^{n} + y^{n} = \prod_{k = 0}^{n - 1} (x + y P^{\frac{k}{n}} \cdot \underset{(- 1)^{\frac{1}{n}}}{\underset{⏟}{P^{\frac{1}{2 n}}}} \cdot \underset{(- 1)^{n}}{\underset{⏟}{P^{\frac{n}{2}}}}) & = \prod_{k = 0}^{n - 1} (x + y P^{\frac{n^{2} + 2 k + 1}{2 n}}) \end{cases}$
これらの式は、右辺をみますと $k = 0$ から $n - 1$ までの $n$ 個の因数の積に因数分解できることがわかります。

また、 $k$ の和が $n - 1$ になるペア同士で複素共役となり、最終的に偏角が相殺されて全体としては実数になります。すなわち、右辺の各因数は絶対値をとったもの同士でも比率は合いますので全体としての値は変わりません。

${\begin{cases} x^{n} - y^{n} = | \prod_{k = 0}^{n - 1} (x + y P^{\frac{n^{2} + 2 k}{2 n}}) | & = \prod_{k = 0}^{n - 1} | x + y P^{\frac{n^{2} + 2 k}{2 n}} | \\ x^{n} + y^{n} = | \prod_{k = 0}^{n - 1} (x + y P^{\frac{n^{2} + 2 k + 1}{2 n}}) | & = \prod_{k = 0}^{n - 1} | x + y P^{\frac{n^{2} + 2 k + 1}{2 n}} | \end{cases}$

ここで、右辺の $| x + y P^{a} |$ をユークリッド距離で表しやすいように $1$ と $i$ を基底の元とする直交座標系上で考えてみましょう。

$\begin{aligned} | x + y P^{a} | = & | (x + y Re P^{a}) + (y Im P^{a}) i | \\ = & \sqrt{(x + y Re P^{a})^{2} + (y Im P^{a})^{2}} \\ = & \sqrt{x^{2} + y^{2} [{(Re P^{a})}^{2} + {(Im P^{a})}^{2}] + 2 x y Re P^{a}} \\ = & \sqrt{x^{2} + y^{2} + 2 x y Re P^{a}} \\ = & \sqrt{x^{2} + y^{2} + 2 x y \cos (a \cdot 2 π)} \end{aligned}$

$\cos (n π) = (- 1)^{n}$ も用いて改めて書き直すと、

${\begin{cases} x^{n} - y^{n} = \prod_{k = 0}^{n - 1} \sqrt{x^{2} + y^{2} + 2 x y \cos (\frac{n^{2} + 2 k}{n} π)} & = \prod_{k = 0}^{n - 1} \sqrt{x^{2} + y^{2} + (- 1)^{n} \cdot 2 x y \cos (\frac{2 k}{n} π)} \\ x^{n} + y^{n} = \prod_{k = 0}^{n - 1} \sqrt{x^{2} + y^{2} + 2 x y \cos (\frac{n^{2} + 2 k + 1}{n} π)} & = \prod_{k = 0}^{n - 1} \sqrt{x^{2} + y^{2} + (- 1)^{n} \cdot 2 x y \cos (\frac{2 k + 1}{n} π)} \end{cases}$

ちなみに、 $n \in Z^{+}$ ということで、 $n > 0$ であることにご留意くださいませ。

$\cos$ 関数は与えられる偏角が共役ペアのとき同じ値をとりますので、そのような組み合わせで２乗を作ればそこだけ根号を外すことができます。右辺が $k = 0$ から $k = n - 1$ までの $n$ 個の因数の積であることに注目し、共役つまり偏角の和が $2 π$ になるペアを探してみましょう。

$k$	$0$	$1$	$2$	$\dots$	$n - 2$	$n - 1$
$\frac{2 k}{n} π$	$0$	$\frac{2}{n} π$	$\frac{4}{n} π$	$\dots$	$\frac{2 n - 4}{n} π$	$\frac{2 n - 2}{n} π$
$\frac{2 k + 1}{n} π$	$\frac{1}{n} π$	$\frac{3}{n} π$	$\frac{5}{n} π$	$\dots$	$\frac{2 n - 3}{n} π$	$\frac{2 n - 1}{n} π$

偏角の和が $2 π = \frac{2 n}{n} π$ になるペアが $\cos$ をとった時に同値となる共役ペアですが、 $n$ が奇数のときと偶数のときでは $0$ ～ $n - 1$ の個数が異なりますのでペアを作れない組に違いが出てきそうですね。

$n = 2 m$ （偶数) のとき

$k$	$0$	$1$	$2$	$\dots$	$m - 1$	$m$	$m + 1$	$\dots$	$n - 2$	$n - 1$
$\frac{2 k}{2 m} π$	$0$	$\frac{2}{2 m} π$	$\frac{4}{2 m} π$	$\dots$	$\frac{2 m - 2}{2 m} π$	$π$	$\frac{2 m + 2}{2 m} π$	$\dots$	$\frac{4 m - 4}{2 m} π$	$\frac{4 m - 2}{2 m} π$
$\frac{2 k + 1}{2 m} π$	$\frac{1}{2 m} π$	$\frac{3}{2 m} π$	$\frac{5}{2 m} π$	$\dots$	$\frac{2 m - 1}{2 m} π$	$\frac{2 m + 1}{2 m}$	$\frac{2 m + 3}{2 m} π$	$\dots$	$\frac{4 m - 3}{2 m} π$	$\frac{4 m - 1}{2 m} π$

この場合、偏角の和が $2 π = \frac{4 m}{2 m} π$ になる組が共役ペアですので、赤字のところ以外は同値同士で二乗を作れて根号を外せます。

$n = 2 m + 1$ （奇数) のとき

$k$	$0$	$1$	$2$	$\dots$	$m - 1$	$m$	$m + 1$	$\dots$	$n - 2$	$n - 1$
$\frac{2 k}{2 m + 1} π$	$0$	$\frac{2}{2 m + 1} π$	$\frac{4}{2 m + 1} π$	$\dots$	$\frac{2 m - 2}{2 m + 1} π$	$\frac{2 m}{2 m + 1}$	$\frac{2 m + 2}{2 m + 1} π$	$\dots$	$\frac{4 m - 2}{2 m + 1} π$	$\frac{4 m}{2 m + 1} π$
$\frac{2 k + 1}{2 m + 1} π$	$\frac{1}{2 m + 1} π$	$\frac{3}{2 m + 1} π$	$\frac{6}{n} π$	$\dots$	$\frac{2 m - 1}{2 m + 1} π$	$π$	$\frac{2 m + 3}{2 m + 1} π$	$\dots$	$\frac{4 m - 1}{2 m + 1} π$	$\frac{4 m + 1}{2 m + 1} π$

この場合、偏角の和が $2 π = \frac{4 m + 2}{2 m + 1} π$ になる組が共役ペアですので、赤字のところ以外は同値同士で二乗を作れて根号を外せます。

ペアを作れない因数については二乗にならないので根号をつけたまま残すとしまして、 $\cos$ のとる範囲は $0 < θ < π$ で、 $n$ が偶数のときは $\frac{π}{2}$ で対称的になっていることから、全体としては次のようにまとめられます。

$n = 2 m > 0$ において
${\begin{cases} x^{2 m} - y^{2 m} & = \prod_{k = 0}^{2 m - 1} \sqrt{x^{2} + y^{2} \pm 2 x y \cos (\frac{2 k}{2 m} π)} \\ = [\sqrt{(x^{2} + y^{2} \pm 2 x y) (x^{2} + y^{2} \mp 2 x y)}] \cdot \prod_{k = 1}^{m - 1} [x^{2} + y^{2} \pm 2 x y \cos (\frac{k}{m} π)] \\ = (x \pm y) (x \mp y) \prod_{k = 1}^{m - 1} [x^{2} + y^{2} \pm 2 x y \cos (\frac{k}{m} π)] \\ x^{2 m} + y^{2 m} & = \prod_{k = 0}^{2 m - 1} \sqrt{x^{2} + y^{2} \pm 2 x y \cos (\frac{2 k + 1}{2 m} π)} \\ = \prod_{k = 1}^{m} [x^{2} + y^{2} \pm 2 x y \cos (\frac{2 k - 1}{2 m} π)] \end{cases}$

$n = 2 m + 1 > 0$ において
${\begin{cases} x^{2 m + 1} - y^{2 m + 1} & = \prod_{k = 0}^{2 m} \sqrt{x^{2} + y^{2} - 2 x y \cos (\frac{2 k}{2 m + 1} π)} \\ = [\sqrt{x^{2} + y^{2} - 2 x y}] \cdot \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k}{2 m + 1} π)] \\ = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k}{2 m + 1} π)] \\ = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ x^{2 m + 1} + y^{2 m + 1} & = \prod_{k = 0}^{2 m} \sqrt{x^{2} + y^{2} - 2 x y \cos (\frac{2 k + 1}{2 m + 1} π)} \\ = [\sqrt{x^{2} + y^{2} + 2 x y}] \cdot \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k}{2 m + 1} π)] \end{cases}$

フェルマーの最終定理の因数分解

${x, y \in R 、 n, m \in Z_{0}^{+}}$ $n = 2 m > 0$ において ${\begin{cases} x^{2 m} - y^{2 m} & = (x + y) (x - y) \prod_{k = 1}^{m - 1} [x^{2} + y^{2} \pm 2 x y \cos (\frac{k}{m} π)] \\ x^{2 m} + y^{2 m} & = \prod_{k = 1}^{m} [x^{2} + y^{2} \pm 2 x y \cos (\frac{2 k - 1}{2 m} π)] \end{cases}$ $n = 2 m + 1 > 0$ において ${\begin{cases} x^{2 m + 1} - y^{2 m + 1} & = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k}{2 m + 1} π)] \\ = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ x^{2 m + 1} + y^{2 m + 1} & = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k}{2 m + 1} π)] \end{cases}$ $n = 0$ において ${\begin{cases} x^{n} - y^{n} = 0 \\ x^{n} + y^{n} = 2 \end{cases}$

フェルマーの最終定理の因数分解

{x, y \in R 、 n, m \in Z_{0}^{+}}

n = 2 m > 0

において

{\begin{cases} x^{2 m} - y^{2 m} & = (x + y) (x - y) \prod_{k = 1}^{m - 1} [x^{2} + y^{2} \pm 2 x y \cos (\frac{k}{m} π)] \\ x^{2 m} + y^{2 m} & = \prod_{k = 1}^{m} [x^{2} + y^{2} \pm 2 x y \cos (\frac{2 k - 1}{2 m} π)] \end{cases}

n = 2 m + 1 > 0

において

{\begin{cases} x^{2 m + 1} - y^{2 m + 1} & = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k}{2 m + 1} π)] \\ = (x - y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ x^{2 m + 1} + y^{2 m + 1} & = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} - 2 x y \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = (x + y) \prod_{k = 1}^{m} [x^{2} + y^{2} + 2 x y \cos (\frac{2 k}{2 m + 1} π)] \end{cases}

n = 0

において

{\begin{cases} x^{n} - y^{n} = 0 \\ x^{n} + y^{n} = 2 \end{cases}

フィボナッチ数とリュカ数を因数分解

続いて、フィボナッチ数とリュカ数を因数分解してみます。

フィボナッチ数とリュカ数のなす数列は、前回の記事にて詳しく解説させていただきました通り、 $z^{2} - z - 1 = 0$ の共役複素数解 ${\begin{cases} z = \frac{1}{2} - \frac{\sqrt{- 5}}{2} i = ϕ \\ \overset{―}{z} = \frac{1}{2} + \frac{\sqrt{- 5}}{2} i = - \frac{1}{ϕ} \end{cases}$ を生成元としたときの第 $1$ 種ガラパゴ数列と第 $2$ 種ガラパゴ数列に一致します。

　ここでは $ϕ$ をムリヤリ複素数と「みなし」ているため、次にあげる実部と虚部も「みなし実部」と「みなし虚部」ということになりますが、この解釈できちんと正しい式が導出されますのでご安心(?)ください。

${\begin{cases} G_{n} = \frac{Im z^{n}}{Im z} = \frac{z^{n} - {\overset{―}{z}}^{n}}{z - \overset{―}{z}} = \frac{ϕ^{n} - {(- \frac{1}{ϕ})}^{n}}{\sqrt{5}} = F_{n} \\ G_{n}^{'} = \frac{Re z^{n}}{Re z} = \frac{z^{n} + {\overset{―}{z}}^{n}}{z + \overset{―}{z}} = \frac{ϕ^{n} + {(- \frac{1}{ϕ})}^{n}}{1} = L_{n} \end{cases}$

これを先程のフェルマーの最終定理の因数分解にあてはめてみましょう。

${\begin{cases} x = ϕ 、 y = - \frac{1}{ϕ} \\ x + y = ϕ + (- \frac{1}{ϕ}) = 1 \\ x - y = ϕ - (- \frac{1}{ϕ}) = \sqrt{5} \\ x^{2} + y^{2} = ϕ^{2} + {(- \frac{1}{ϕ})}^{2} = \frac{6 + 2 \sqrt{5}}{4} + \frac{6 - 2 \sqrt{5}}{4} = \frac{12}{4} = 3 \\ x y = ϕ \cdot (- \frac{1}{ϕ}) = - 1 \end{cases}$

を代入して

$n = 2 m > 0$ において
${\begin{cases} F_{2 m} & = \frac{ϕ^{2 m} - {(- \frac{1}{ϕ})}^{2 m}}{\sqrt{5}} = \frac{1 \cdot \sqrt{5}}{\sqrt{5}} \prod_{k = 1}^{m - 1} [3 \pm 2 (- 1) \cos (\frac{k}{m} π)] \\ = \prod_{k = 1}^{m - 1} [3 \mp 2 \cos (\frac{k}{m} π)] \\ L_{2 m} \\ = \frac{ϕ^{2 m} + {(- \frac{1}{ϕ})}^{2 m}}{1} = \frac{1}{1} \prod_{k = 1}^{m} [3 \pm 2 (- 1) \cos (\frac{2 k - 1}{2 m} π)] \\ = \prod_{k = 1}^{m} [3 \mp 2 \cos (\frac{2 k - 1}{2 m} π)] \end{cases}$

$n = 2 m + 1 > 0$ において
${\begin{cases} F_{2 m + 1} & = \frac{ϕ^{2 m + 1} - {(- \frac{1}{ϕ})}^{2 m + 1}}{\sqrt{5}} = \frac{\sqrt{5}}{\sqrt{5}} \prod_{k = 1}^{m - 1} [3 - 2 (- 1) \cos (\frac{2 k}{2 m + 1} π)] \\ = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k}{2 m + 1} π)] \\ = \prod_{k = 1}^{m} [3 - 2 \cos (\frac{2 k - 1}{2 m + 1} π)] \\ L_{2 m + 1} & = \frac{ϕ^{2 m + 1} + {(- \frac{1}{ϕ})}^{2 m + 1}}{1} = \frac{1}{1} \prod_{k = 1}^{m} [3 - 2 (- 1) \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k - 1}{2 m + 1} π)] \\ = \prod_{k = 1}^{m} [3 - 2 \cos (\frac{2 k}{2 m + 1} π)] \end{cases}$

以上により、フィボナッチ数とリュカ数は次のように因数分解可能です。

${\begin{cases} F_{n} = \prod_{k = 1}^{⌈ \frac{n - 2}{2} ⌉} [3 + 2 \cos (\frac{2 k}{n} π)] \\ L_{n} = \prod_{k = 0}^{⌊ \frac{n - 2}{2} ⌋} [3 + 2 \cos (\frac{2 k + 1}{n} π)] \end{cases}$

フィボナッチとリュカ数の因数分解

${x, y \in R 、 n, m \in Z_{0}^{+}}$ $n > 0$ において $F_{n} = \prod_{k = 1}^{⌈ \frac{n - 2}{2} ⌉} [3 + 2 \cos (\frac{2 k}{n} π)]$ ${\begin{cases} F_{2 m} & = \prod_{k = 1}^{m - 1} [3 \pm 2 \cos (\frac{k}{m} π)] & \dots n = 2 m > 0 \\ F_{2 m + 1} & = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k}{2 m + 1} π)] & \dots n = 2 m + 1 > 0 \end{cases}$ $L_{n} = \prod_{k = 0}^{⌊ \frac{n - 2}{2} ⌋} [3 + 2 \cos (\frac{2 k + 1}{n} π)]$ ${\begin{cases} L_{2 m} & = \prod_{k = 1}^{m} [3 \pm 2 \cos (\frac{2 k - 1}{2 m} π)] & \dots n = 2 m > 0 \\ L_{2 m + 1} & = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k - 1}{2 m + 1} π)] & \dots n = 2 m + 1 > 0 \end{cases}$ $n = 0$ において ${\begin{cases} F_{n} = \frac{ϕ^{0} - \overset{―}{ϕ^{0}}}{ϕ - \overset{―}{ϕ}} = \frac{1 - 1}{\sqrt{5}} = 0 \\ L_{n} = \frac{ϕ^{0} + \overset{―}{ϕ^{0}}}{ϕ + \overset{―}{ϕ}} = \frac{1 + 1}{1} = 2 \end{cases}$

フィボナッチとリュカ数の因数分解

{x, y \in R 、 n, m \in Z_{0}^{+}}

n > 0

において

F_{n} = \prod_{k = 1}^{⌈ \frac{n - 2}{2} ⌉} [3 + 2 \cos (\frac{2 k}{n} π)]

{\begin{cases} F_{2 m} & = \prod_{k = 1}^{m - 1} [3 \pm 2 \cos (\frac{k}{m} π)] & \dots n = 2 m > 0 \\ F_{2 m + 1} & = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k}{2 m + 1} π)] & \dots n = 2 m + 1 > 0 \end{cases}

L_{n} = \prod_{k = 0}^{⌊ \frac{n - 2}{2} ⌋} [3 + 2 \cos (\frac{2 k + 1}{n} π)]

{\begin{cases} L_{2 m} & = \prod_{k = 1}^{m} [3 \pm 2 \cos (\frac{2 k - 1}{2 m} π)] & \dots n = 2 m > 0 \\ L_{2 m + 1} & = \prod_{k = 1}^{m} [3 + 2 \cos (\frac{2 k - 1}{2 m + 1} π)] & \dots n = 2 m + 1 > 0 \end{cases}

n = 0

において

{\begin{cases} F_{n} = \frac{ϕ^{0} - \overset{―}{ϕ^{0}}}{ϕ - \overset{―}{ϕ}} = \frac{1 - 1}{\sqrt{5}} = 0 \\ L_{n} = \frac{ϕ^{0} + \overset{―}{ϕ^{0}}}{ϕ + \overset{―}{ϕ}} = \frac{1 + 1}{1} = 2 \end{cases}

最後に

検証に協力くださったハーディ先生こと nayuta_ito さんに感謝いたします。

投稿日：2021年2月10日

更新日：2024年8月25日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

みゆ🌹 ฅ^•ω•^ฅ ＠数学を愛する会

586

66886

https://mathlog.info/articles/323　　　　　　　　数学を愛する会副会長 CCO / ガラパゴ数学開拓者 / 猫舌・甘党・薄味派

他の人のコメント

コメントはありません。

読み込み中

みゆ🌹 ฅ^•ω•^ฅ ＠数学を愛する会

フェルマーの最終定理とフィボナッチ数とリュカ数を因数分解

フェルマーの最終定理を因数分解
フィボナッチ数とリュカ数を因数分解
最後に