shaitan's blog

長文書きたいときに使う.

京大2006年後期理系問題1

1次式A(x), B(x), C(x)に対して\{A(x)\}^2+\{B(x)\}^2=\{C(x)\}^2が成り立つとする。このときA(x)B(x)はともにC(x)の定数倍であることを示せ。

\{A(x)\}^2=\{C(x)+B(x)\}\{C(x)-B(x)\}であり、左辺は2次式なのでC(x)\pm B(x)はいずれも1次式。\{A(x)\}^2C(x)\pm B(x)で割り切れるので、A(x)C(x)\pm B(x)で割り切れる。つまりA(x)=a_\pm\{C(x)\pm B(x)\}a_\pmは定数)とおけるが、このときA(x)=\dfrac{a_++a_-}2C(x)B(x)についても同様。



途中は「因数分解は定数倍と順序を除いて一意なのでA(x)=a^{\pm1}\{C(x)\pm B(x)\}と書ける」で良いならこれだけで終わるのだが、ちょっと不安だったので丁寧に書いてみたつもり。