>>46
>証明するために@を変形する際の四則演算は必ず有理数の範囲でなければいけないのです。

普通の数学書でそんな言い方はしない。厳密さに欠ける表現だ。