1次式に対してが成り立つとする。このときとはともにの定数倍であることを示せ。
であり、左辺は2次式なのではいずれも1次式。がで割り切れるので、はで割り切れる。つまり(は定数)とおけるが、このとき。についても同様。
途中は「因数分解は定数倍と順序を除いて一意なのでと書ける」で良いならこれだけで終わるのだが、ちょっと不安だったので丁寧に書いてみたつもり。
1次式に対してが成り立つとする。このときとはともにの定数倍であることを示せ。
であり、左辺は2次式なのではいずれも1次式。がで割り切れるので、はで割り切れる。つまり(は定数)とおけるが、このとき。についても同様。