高木くんがアクセプトされるまで見守るスレ ★10 (692ﾚｽ)

高木くんがアクセプトされるまで見守るスレ ★10 http://rio2016.5ch.net/test/read.cgi/math/1753007638/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

565: １３２人目の素数さん [sage] 2025/08/01(金) 21:23:29.96 ID:sDSm6+Oy >>558 >それから、555は∃,∀を使って書けと書いたのだから、そう書けよ。 >＞{(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2, a^2+b^2+c^2=g^2} ∃(a,b,c,d,e,f,g)∈{(a,b,c,d,e,f,g)∈ℕ^7 | a^2+b^2=d^2 ∧ b^2+c^2=e^2 ∧ c^2+a^2=f^2 ∧ a^2+b^2+c^2=g^2} ぐらいも人頼みか終わってんな http://rio2016.5ch.net/test/read.cgi/math/1753007638/565

567: ◆pObFevaelafK [sage] 2025/08/01(金) 21:45:51.75 ID:1Ww89Egs >>565 別に頼んでいるわけではない、565は私が証明で書いた内容から、簡単に分かる 論理式を偉そうに書いているだけだ。 http://rio2016.5ch.net/test/read.cgi/math/1753007638/567

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.065s