係数が0または1だけで作られた高次方程式は、一見すると複雑な解を持つように見えます。しかし、このような方程式には係数が非負であるという特徴があり、その性質を利用すると解の実部に関する重要な制限を導くことができます。
この記事では、係数が0または1からなる3次以上の方程式について、すべての解xがRe(x)<3/2を満たすことを、複素数と絶対値の考え方を使って証明していきます。
問題の条件を整理する
考える方程式を次のように表します。
x^n+a_{n-1}x^{n-1}+…+a_1x+a_0=0
ここで、nは3以上の整数であり、各係数a_kは0または1です。
つまり、方程式の各項の係数はすべて0以上であり、負の係数は存在しません。この性質が今回の証明の中心になります。
解の実部を仮定して矛盾を考える
ある解xについて、その実部が3/2以上であると仮定します。
xの実部をa、虚部をbとして、
x=a+bi
と置きます。
仮定より、a≥3/2です。この条件から方程式の絶対値を利用して矛盾を導きます。
複素数の絶対値を利用する
方程式を移項すると、最高次の項について次のように書けます。
x^n=-(a_{n-1}x^{n-1}+…+a_1x+a_0)
両辺の絶対値を取ると、
|x|^n=|a_{n-1}x^{n-1}+…+a_1x+a_0|
となります。
三角不等式より、右辺は
|x|^n≤a_{n-1}|x|^{n-1}+…+a_1|x|+a_0
となります。
係数a_kは0または1なので、最大の場合でも
|x|^n≤|x|^{n-1}+|x|^{n-2}+…+|x|+1
です。
絶対値の大きさを調べる
ここでr=|x|と置きます。
すると、
r^n≤r^{n-1}+r^{n-2}+…+r+1
となります。
右辺は等比数列の和なので、
r^{n-1}+…+1=(r^n-1)/(r-1)
（r≠1）となります。
したがって、
r^n≤(r^n-1)/(r-1)
となります。
両辺にr-1を掛けると、
r^{n+1}-r^n≤r^n-1
つまり、
r^{n+1}-2r^n+1≤0
となります。
この不等式から、rが大きすぎることはできないことが分かります。
実部と絶対値の関係を利用する
複素数x=a+biについて、絶対値は
|x|=√(a²+b²)
です。
したがって、
|x|≥|Re(x)|
が常に成立します。
もしRe(x)≥3/2ならば、
|x|≥3/2
となります。
しかし、先ほどの絶対値に関する制限から、係数が0または1だけの方程式の解は、この大きさを超えることができません。
実際にr=3/2を代入して確認すると、
(3/2)^n>(3/2)^{n-1}+…+1
となり、先ほど導いた必要条件に反します。
よって、|x|≥3/2となる解は存在できません。
結論：解の実部は必ず3/2未満になる
以上より、仮にRe(x)≥3/2となる解が存在すると、絶対値の条件と矛盾することが分かりました。
したがって、すべての解xについて、
Re(x)<3/2
が成立します。
この証明で重要なポイント
この問題のポイントは、方程式の形そのものを直接解こうとしないことです。高次方程式は一般的に解を具体的な式で表せません。
その代わりに、係数が0または1であるという条件から、解の大きさに制限を作ります。そして複素数の実部と絶対値の関係を利用することで、解の存在範囲を絞ることができます。
このような考え方は、複素数平面や代数学の分野でよく使われる方法であり、方程式の解を直接求めるのではなく、解の性質を調べる重要な手法です。
まとめ
係数が0または1だけの3次以上の方程式では、係数がすべて非負であることを利用して、解の絶対値に制限を与えることができます。
解xの実部が3/2以上だと仮定すると、|x|も3/2以上になります。しかし、そのような大きな解は方程式の性質と矛盾するため存在できません。
したがって、すべての解についてRe(x)<3/2が証明されます。この問題は、高次方程式を解くのではなく、複素数の性質を利用して解の範囲を調べる典型的な問題です。
コメント