>>749
つーか、>>841 の解答を高校生用に加工したのはダメ？
たとえば解答の中にノルムとかあるけど
あれは高校数学の複素数の絶対値と一致しているわけね。
だからノルムという言葉を使う必要性が皆無なわけね。
で、2つの複素数z,wに対して、|zw|=|z|*|w|
これは高校の教科書にあるから使っていいわけだ。
これがノルムの乗法性っていう言葉に対応する部分だと思う。

少し厄介なところはUFDなんちゃらの部分で、
結局いくつかの連立方程式だけを考えればいいという部分だね。
そこの部分は厳しそうだから原理的に考えてみた。こんな感じでどう？

(1)s,tを整数として s+tiという形の数の和,差,積はまたその形になる。
(2)上記の形の数の絶対値をとると必ず0以上の整数となる。

(1),(2)はすぐ確認できる。この2つを主に利用した解答。