19/03/30 20:01:08.31 o+6oxyOw.net
>>738
全く関係のない話に見えて答えは同じになる。
>>733の問題をもう少し厳密に定式化して
K[0] = Q,
K[i+1] = K[i]{x^(1/n) | x ∈ K[i], x>0}
K = ∪[i] K[i]
と定めると結局実は
x∈K ⇔ xが作図可能
となる。
この問題を方程式の可解性と同じくx^(1/n)を添加する時に x>0 の制限をなくしてしまうと>>733に書いた理由でそもそも意味がなくなる。
19/03/30 20:01:08.31 o+6oxyOw.net
>>738
全く関係のない話に見えて答えは同じになる。
>>733の問題をもう少し厳密に定式化して
K[0] = Q,
K[i+1] = K[i]{x^(1/n) | x ∈ K[i], x>0}
K = ∪[i] K[i]
と定めると結局実は
x∈K ⇔ xが作図可能
となる。
この問題を方程式の可解性と同じくx^(1/n)を添加する時に x>0 の制限をなくしてしまうと>>733に書いた理由でそもそも意味がなくなる。