【数学】実数係数方程式のペアになっている解
実数係数次方程式などに虚数解があるとその複素共役も解になるというのは高校数学の問題で1度は目にしたと思う.
まずこれが何故そうなるのかを見ていく.
例えば, 方程式 を考え, これが虚数解 を持ったとすると, 次を満たす.
この等式の両辺で複素共役を取ると
となるから, 複素共役 も方程式 の解になるというわけである.
ところで, 複素共役には次の性質があると習う.
これは環準同型というものの一種になっている.
環準同型とは何か?というと, 次を満たす関数(普通は写像とよぶ) のことである.
関数 は複素数 に対し, を満たすとする(これを複素共役写像とよぶ).
このとき, は環準同型であり,実数を代入したときの値は元の値と変わらない.
こういう関数で作ったペア は同じ実数係数方程式の解になっている.
このようなペアが出来るには複素共役の性質に赤で書かれたものがあるのがミソになっていて, そのような性質があれば複素共役以外でもペアの解が出てくる.
(ちなみに, 係数に実数ではないものがあるときは複素共役も解になるとは限らない.)
実は有理数の平方根を 倍する関数はその性質(環準同型であり, 有理数を代入しても変わらない)を持っている. ※ただし,その有理数は何かの2乗ではないとする.
例えば, を に写す関数 である.
ここで, 関数の定義域は何かというと と有理数の四則演算で得られる数( など)全体である.
すると, 有理数係数方程式に という解があれば, も解である.
例えば, 方程式 には という解があるので, も解であると分かる.