方程式って解く必要なくね？

**１３２人目の素数さん** · 2024/10/04(金) 11:49:46.56

冷静に考えたら、X = ±√2ってX^2 - 2 = 0を言い換えただけじゃん

**１３２人目の素数さん** · 2024/10/04(金) 11:51:18.86

そもそも5次以上解けないしな

**１３２人目の素数さん** · 2024/10/04(金) 14:26:25.70

はたらけ

**１３２人目の素数さん** · 2024/10/04(金) 14:26:41.19

はろーわーく

**１３２人目の素数さん** · 2024/10/04(金) 14:27:00.06

おちこぼれ

**１３２人目の素数さん** · 2024/10/04(金) 15:10:25.85

高校のベクトルって何なの？

**１３２人目の素数さん** · 2024/10/04(金) 15:10:37.18

なんで数学者はブラ・ケット使わんの？？

**１３２人目の素数さん** · 2024/10/04(金) 15:10:50.76

数学者って怒った時どうしてる？

**１３２人目の素数さん** · 2024/10/04(金) 15:11:03.87

虚数は存在しないのか？

**１３２人目の素数さん** · 2024/10/04(金) 15:11:15.27

数学って存在しないのでは？

**１３２人目の素数さん** · 2024/10/04(金) 15:58:27.24

f(x) = 0の時点でxの代数的な性質はぜんぶ持ってるしな

**１３２人目の素数さん** · 2024/10/04(金) 18:32:07.43

f = X^n + a1 X^{n-1} + ... + an∈K[X]。

f(X) = 0の解は、k[X]/(f)内のXの像。
それか、(n, n)行列

[[0, 0, ..., 0, -an],
[1, 0, ..., 0, -a{n-1}],
...,
[0, 0, ..., 1, -a1]]。

ℂの中で求めろと言われてなけりゃ、これで正しい。

**１３２人目の素数さん** · 2024/10/04(金) 18:50:28.06

方程式を解くとは、解集合を適当なクラスの関数でパラメータ付けをすること
X^2 - 5 = 0を冪根で解けば、X = ±√5
三角関数で解けば、X = ± (exp(2πi/5) - exp(4πi/5) - exp(6πi/5) + exp(8πi/5))

**１３２人目の素数さん** · 2024/10/04(金) 23:13:02.11

代数方程式は解かなくてもガロア群がわかればok

**１３２人目の素数さん** · 2024/10/05(土) 01:35:53.21

正規形に解かないと一階化できないでしょ

正規性から導かれる性質は初期スキームで尽くされていると言うならそうだが、
それだと形式体系から発展する全ての数学地図は潜在に消えるよ