[過去ログ]
純粋・応用数学・数学隣接分野(含むガロア理論)12 (1002レス)
純粋・応用数学・数学隣接分野(含むガロア理論)12 http://rio2016.5ch.net/test/read.cgi/math/1671460269/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
176: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/31(土) 14:00:55.83 ID:rNlYJ3SK >>172 それ 全く見当違いだよ 時枝が 全然わかってないねw http://rio2016.5ch.net/test/read.cgi/math/1671460269/176
177: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [sage] 2022/12/31(土) 14:29:57.70 ID:cbuR6Msl >>174 >0<・・・<ω が有限列 うん、<ωって書いてあるよね? つまり、下降列にもなる、上昇列は有限列 そういうことだよ >a0=0 >a1=1 >… >aω=ω ああ、ダメダメ 具体的にいうとaωがダメ 「上昇列じゃない」とは一度もいってない でもaωって、a_ω-1がないからダメ 要するに わざわざ「<ω」ってって書いたのは 「ωの前者が存在する」と明確にするため それ否定したらダメ そもそも 「ωの前者がなかったら上昇列ではない」 なんてことは一言も言ってない 「0から始まって、ωの前者が存在するような上昇列は有限列」 といってるだけ 分かるね? やっぱり、雑談クンは定義から分かってないねえ 174で💩壺に落ちたのは私じゃなく、君だよ http://rio2016.5ch.net/test/read.cgi/math/1671460269/177
178: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [sage] 2022/12/31(土) 14:32:29.15 ID:cbuR6Msl >>172 >>代表元は一度決めたら一定です これ常識 > それ、全く見当違いだよ うん、そもそも「毎度代表元を選ぶ」という雑談クンの認識が見当違いだから さすがにそれに気づいたんだね じゃ、箱入り無数目で間違ってるのは、君だよ はい、おしまいw http://rio2016.5ch.net/test/read.cgi/math/1671460269/178
179: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/31(土) 16:35:44.02 ID:rNlYJ3SK >>169 >もし、>>148のID:3jK34k/w氏が、 >”前スレに書いた、「巡回方程式のべき根表示=フーリエ級数展開の類似」”氏と >同一人物ならば、>>27の方程式 >x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0 >に、そのポントリャーギン双対を適用して見せてね >そうでないと、つじつま合わせに、ポントリャーギン双対を検索で見つけてきた >とも解釈できる なんだ 同一人物かw で、この人は、スレタイ 箱入り無数目を語る部屋6 https://rio2016.5ch.net/test/read.cgi/math/1669635809/ で、 時枝の箱入り無数目が理解できてずに、 おサル>>5と一緒に落ちこぼれて 暴れている人かな? おサルが、数理論理では大学院レベルなのだから”>>160って? 買いかぶりもいいとこだな(実例が >>174だよ) >>163より”ゲーデルの不完全性定理が本当に(?)理解できたのは、実は今世紀になってから” って、確かに情けないよ おれ、高校生で「ゲーデルの不完全性定理」の解説本読んだ(一般向けだがね) 覚えているのは、リシャール数だっけね、あと自己言及のパラドックス(下記) これを、ゲーデルがゲーデル数を導入することで、「不完全性定理」を証明した 高卒かなんか知らないが、おサルは高卒に及ばない まして、”数理論理では大学院レベル”だなんて、ナイナイ!w つづく http://rio2016.5ch.net/test/read.cgi/math/1671460269/179
180: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/31(土) 16:36:13.11 ID:rNlYJ3SK >>179 つづき それよか、あんた「群と作用」で逃げているよね、 前スレ https://rio2016.5ch.net/test/read.cgi/math/1659249925/781 ">>780 >だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。 話が上滑りだよ 1)群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね" と、私が指摘した 難しいことばで、煙に巻くことをやっている気がするのは、おれだけかい?ww フーリエ変換とかポントリャーギン双対とか、その類いだろうねww (参考) https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%B7%E3%83%A3%E3%83%BC%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 リシャールのパラドックス パラドックスの回避 現在で集合論の公理系として最も広く用いられているZFCでは、「実数を明確に定義する日本語の文」といった概念は数式(論理式)によって表現できない、という理由で回避(取り扱わない)している。 パラドックスの源泉 リシャールが構成しようとする数をリシャール数Rと呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる(循環定義)。 https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86 ゲーデルの不完全性定理 証明の概要 準備 帰納的公理化可能な理論が自然数論を含むならば、当該理論における証明可能性が原始帰納的述語として表現できる。 この証明可能性述語を用いて、「Gは証明できない」と同値となる証明不能命題G(ゲーデル文)が、構成できる。ゲーデル文を構成するためには自然数論の式を自然数に変換するゲーデル数および自己言及で用いられる対角化の技法(を形式化したもの)が必要である。後者は対角化補題と呼ばれる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1671460269/180
181: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [sage] 2022/12/31(土) 17:05:14.44 ID:cbuR6Msl >>179 >”ゲーデルの不完全性定理が本当に(?)理解できたのは、実は今世紀になってから” >って、確かに情けないよ はっはっは 面目ない >おれ、高校生で「ゲーデルの不完全性定理」の解説本読んだ(一般向けだがね) 何読んだ? 私は中学生でナーゲル・ニューマンの「数学から超数学へ ゲーデルの証明」読んだ >覚えているのは、リシャール数だっけね、あと自己言及のパラドックス >これを、ゲーデルがゲーデル数を導入することで、「不完全性定理」を証明した たぶん、君が読んだのもナーゲル・ニューマンだな ホフスタッターなら、まっさきにクワイン文を書くから で、自己言及とかいうだけなら誰でもいえるのよ 相対論の本読んで、ああ光速不変なんだな、っていうだけのことで 相対論もマジで理解したのは今世紀に入ってからだな(そればっか) ローレンツ変換が実は双曲幾何のクラインモデルの合同変換だと気づいてから (これもEXCELで二次元の場合を計算して「発見」したw) ゲーデルの不完全性定理を真に理解したのは 遅まきながらホフスタッターの「ゲーデル・エッシャ―・バッハ」を読んでから テクニックで用いてたのはクワイン文なのよ ま、昭和時代に読んでたら、前世紀中に分かってたことなんで ほんと、面目ないw >>180 >難しいことばで、煙に巻くことをやっている気がするのは、おれだけかい? わかりもしないことコピペして煙に巻いてるのは、雑談クン、君だよキ・ミ http://rio2016.5ch.net/test/read.cgi/math/1671460269/181
182: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/31(土) 17:05:49.49 ID:rNlYJ3SK >>180 >>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。 >話が上滑りだよ > 1)群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね" >と、私が指摘した 群Gと作用域Λで思い出すのは、岩波全書の高等代数学1 秋月康夫・鈴木通夫 著 これが、ほぼ冒頭から、”作用域を持つ群”で始まってね ”作用域”?? ということだけを、強烈に覚えている 群さえ理解できていないのに、”作用域”が輪を掛けて分からなかった それでも、何ページかは読んで、ギブアップした なんで、そんな本を? 古書店で安かったからなんだw 小さい本でね。見開きでB5くらいだった 前書きに、秋月先生が”アルティンのガロア理論の講義録が手に入って、ガロア理論の部分を全部書き直そうとも思ったが、断念した”みたく書いてあって へー、”アルティンか!”と、これも強烈に覚えている(アルティン本は、いまでは有名ですが) 鈴木通夫先生が、結構有名人だというのを知ったのは ずっと後のことだった (参考) https://www.kosho.or.jp/products/detail.php?product_id=126167703 日本の古本屋 高等代数学 【1・2】 <岩波全書> 2冊 秋月康夫・鈴木通夫 著 岩波書店 1952年10月第1刷・1957年5月第1刷 207頁・212頁 B6判 2冊 解説 在庫切れ(藤原書店) https://ja.wikipedia.org/wiki/%E9%88%B4%E6%9C%A8%E9%80%9A%E5%A4%AB 鈴木 通夫(すずき みちお、1926年10月2日 - 1998年5月31日)は、日本の数学者。バーンサイド予想(英語版)を解決しようとした。鈴木群(英語版)と呼ばれる(位数が3で整除されないすべての)非可換有限単純群の無限系列や、散在型有限単純群(英語版)の1つである散在鈴木群(英語版)を発見した。千葉県千葉市出身。 東京大学理学部数学科卒業後、有限群論の研究を開始。1953年からその死までイリノイ大学の教授となった。またシカゴ大学、プリンストン高等研究所、パドヴァ大学でも客員研究員となっている。1951年に日本を離れてアメリカに移っていたが、1953年に東京大学より博士号を受けている。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1671460269/182
183: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:08:17.76 ID:cbuR6Msl さて、いよいよお約束のネタを投下させてもらおうか n=8 X^8-1=(X-1)(X+1)(X^2+1)(X^4+1) n=9 X^9-1=(X-1)(X^2+X+1)(X^6+X^3+X^1) n=10 X^10-1=(X-1)(X+1)(X^4+X^3+X^2+X+1)(X^4-X^3+X^2-X+1) n=11 X^11-1=(X-1)(X^10+X^9+X^8+X^7+X^6+X^5+X^4+X^3+X^2+X+1) ラグランジュ分解式 ζ11+ ζ11^2+ ζ11^4+ ζ11^8+ ζ11^5+ζ11^10+ ζ11^9+ ζ11^7+ ζ11^3+ ζ11^6 ? ζ11-η^3ζ11^2+η ζ11^4-η^4ζ11^8+η^2ζ11^5-ζ11^10+η^3ζ11^9-η ζ11^7+η^4ζ11^3-η^2ζ11^6 ? ζ11+η ζ11^2+η^2ζ11^4+η^3ζ11^8+η^4ζ11^5+ζ11^10+η ζ11^9+η^2ζ11^7+η^3ζ11^3+η^4ζ11^6 ? ζ11-η^4ζ11^2+η^3ζ11^4-η^2ζ11^8+η ζ11^5-ζ11^10+η^4ζ11^9-η^3ζ11^7+η^2ζ11^3-η ζ11^6 ? ζ11+η^2ζ11^2+η^4ζ11^4+η ζ11^8+η^3ζ11^5+ζ11^10+η^2ζ11^9+η^4ζ11^7+η ζ11^3+η^3ζ11^6 ? ζ11- ζ11^2+ ζ11^4- ζ11^8+ ζ11^5-ζ11^10+ ζ11^9- ζ11^7+ ζ11^3- ζ11^6 ? ζ11+η^3ζ11^2+η ζ11^4+η^4ζ11^8+η^2ζ11^5+ζ11^10+η^3ζ11^9+η ζ11^7+η^4ζ11^3+η^2ζ11^6 ? ζ11-η ζ11^2+η^2ζ11^4-η^3ζ11^8+η^4ζ11^5-ζ11^10+η ζ11^9-η^2ζ11^7+η^3ζ11^3-η^4ζ11^6 ? ζ11+η^4ζ11^2+η^3ζ11^4+η^2ζ11^8+η ζ11^5+ζ11^10+η^4ζ11^9+η^3ζ11^7+η^2ζ11^3+η ζ11^6 ? ζ11-η^2ζ11^2+η^4ζ11^4-η ζ11^8+η^3ζ11^5-ζ11^10+η^2ζ11^9-η^4ζ11^7+η ζ11^3-η^3ζ11^6 ? (η=ζ5=ζ11^2 ζ11=-η^3 ζ11^10=-η^2) ?=(ζ11+ζ11^10)+ (ζ11^2+ζ11^9)+ (ζ11^4+ζ11^7)+ (ζ11^8+ζ11^3)+ (ζ11^5+ζ11^6) ?=(ζ11+ζ11^10)+η (ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6) ?=(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)+η (ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6) ?=(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)+η (ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6) ?=(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)+η (ζ11^5+ζ11^6) http://rio2016.5ch.net/test/read.cgi/math/1671460269/183
184: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:09:59.79 ID:cbuR6Msl >>183 ?=-1 ?*?=(2η -η^3-2η^2)? ?*?=(2η^2-η -2η^4)? ?*?=(2η -η^3-2η^2)? ?*?=11 ?*?=(2η^2-η -2η^4)? ?*?=(2η^2-η -2η^4)? ?*?=11 ?*?=(2η^4-η^2-2η^3)? ?*?=(2η -η^3-2η^2)? ?*?=11 ?*?=(2η^3-η^4-2η )? ?*?=(2η^3-η^4-2η )? ?*?=11 ?*?=(2η^4-η^2-2η^3)? ?*?=(2η^3-η^4-2η )? ?*?=(2η^4-η^2-2η^3)? ?^5 =?^3?(2η-η^3-2η^2) =?^2?(2η^2-η-2η^4)(2η-η^3-2η^2) =? ?(2η-η^3-2η^2)(2η^2-η-2η^4)(2η-η^3-2η^2) =11(2η-η^3-2η^2)(2η^2-η-2η^4)(2η-η^3-2η^2) ?^5 =?^3?(2η^2-η-2η^4) =?^2?(2η^4-η^2-2η^3)(2η^2-η-2η^4) =??(2η^2-η-2η^4)(2η^4-η^2-2η^3)(2η^2-η-2η^4) =11(2η^2-η-2η^4)(2η^4-η^2-2η^3)(2η^2-η-2η^4) ?^5 =?^3?(2η^3-η^4-2η) =?^2?(2η-η^3-2η^2)(2η^3-η^4-2η) =? ?(2η^3-η^4-2η)(2η-η^3-2η^2)(2η^3-η^4-2η) =11(2η^3-η^4-2η)(2η-η^3-2η^2)(2η^3-η^4-2η) ?^5 =?^3?(2η^4-η^2-2η^3) =?^2?(2η^3-η^4-2η)(2η^4-η^2-2η^3) =??(2η^4-η^2-2η^3)(2η^3-η^4-2η)(2η^4-η^2-2η^3) =11(2η^4-η-2η^3)(2η^3-η^4-2η)(2η^4-η^2-2η^3) (2η-η^3-2η^2)(2η^4-η^2-2η^3) =(4+1+4-2η^3+2η-4η-4η^4-2η^2+2η^2) =(4+1+4-2η^3-2η-2η^2-2η^4) =11 (2η^3-η^4+2η)(2η^2-η-2η^4) =(4+1+4-2η^4+2η^3-4η^3-4η^2-2η^+2η^2) =(4+1+4-2η^4-2η^3-2η^2-2η) =11 http://rio2016.5ch.net/test/read.cgi/math/1671460269/184
185: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:12:20.23 ID:cbuR6Msl >>184 ?*? = (ζ11+ζ11^10)^2 +η (ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η (ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)^2 +η^3(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^4(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+ (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^2(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^3(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)^2 + (ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η (ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^3(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^4(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+ (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η (ζ11^8+ζ11^3)^2 +η^2(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^4(ζ11^5+ζ11^6)(ζ11+ζ11^10)+ (ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η (ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^2(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)^2 = (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2)) +η (2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2)) +η^2(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2)) +η^3(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2)) +η^4(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2)) = (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6) +η (2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7) +η^2(2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10) +η^3(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3) +η^4(2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9) http://rio2016.5ch.net/test/read.cgi/math/1671460269/185
186: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:12:56.09 ID:cbuR6Msl >>185 ?*? = (ζ11+ζ11^10)^2 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η (ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^2(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)^2 +η (ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^3(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+ (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^4(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η (ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)^2 + (ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^2(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η (ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^3(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+ (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)^2 +η^4(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^3(ζ11^5+ζ11^6)(ζ11+ζ11^10)+ (ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^2(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^4(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η (ζ11^5+ζ11^6)^2 = (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2)) +η^2(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2)) +η^4(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2)) +η (2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2)) +η^3(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2)) = (2*ζ11^4+2*ζ11^7-1*ζ11^2+1*ζ11^9-2*ζ11^5+0*ζ11^6) +η^2(2*ζ11 +2*ζ11^10-1*ζ11^5+1*ζ11^6-2*ζ11^4+0*ζ11^7) +η^4(2*ζ11^8+2*ζ11^3-1*ζ11^4+1*ζ11^7-2*ζ11 +0*ζ11^10) +η (2*ζ11^2+2*ζ11^9-1*ζ11 +1*ζ11^10-2*ζ11^3+0*ζ11^8) +η^3(2*ζ11^5+2*ζ11^6-1*ζ11^3+1*ζ11^8-2*ζ11^2+0*ζ11^9) http://rio2016.5ch.net/test/read.cgi/math/1671460269/186
187: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:13:52.33 ID:cbuR6Msl >>186 ?*? = (ζ11+ζ11^10)^2 +η^3(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η (ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^4(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^2(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η (ζ11^2+ζ11^9)^2 +η^4(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^2(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+ (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η (ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^4(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)^2 + (ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^3(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^2(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+ (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)^2 +η (ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+ (ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^3(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η (ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)^2 = (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2)) +η^3(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2)) +η (2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2)) +η^4(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2)) +η^2(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2)) = (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6) +η^3(2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7) +η (2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10) +η^4(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3) +η^2(2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9) http://rio2016.5ch.net/test/read.cgi/math/1671460269/187
188: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:14:51.22 ID:cbuR6Msl >>187 ?*? = (ζ11+ζ11^10)^2 +η^4(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^3(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^2(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η (ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)^2 +η^2(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η (ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+ (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^2(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η (ζ11^4+ζ11^7)^2 + (ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^4(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η (ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+ (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)^2 +η^3(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η (ζ11^5+ζ11^6)(ζ11+ζ11^10)+ (ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^4(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^3(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)^2 = (2*(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+2*(ζ11 +ζ11^4+ζ11^7+ζ11^10) +(ζ11^2+ζ11^9+2)) +η^4(2*(ζ11^3+ζ11 +ζ11^10+ζ11^8)+2*(ζ11^9+ζ11 +ζ11^10+ζ11^2) +(ζ11^5+ζ11^6+2)) +η^3(2*(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+2*(ζ11^2+ζ11^8+ζ11^3+ζ11^9) +(ζ11^4+ζ11^7+2)) +η^2(2*(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+2*(ζ11^6+ζ11^9+ζ11^2+ζ11^5) +(ζ11^10+ζ11 +2)) +η^1(2*(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+2*(ζ11^10+ζ11^6+ζ11^5+ζ11 ) +(ζ11^8+ζ11^3+2)) = (2*ζ11^4+2*ζ11^7-1*ζ11^2-1*ζ11^9-2*ζ11^5-2*ζ11^6) +η^4(2*ζ11 +2*ζ11^10-1*ζ11^5-1*ζ11^6-2*ζ11^4-2*ζ11^7) +η^3(2*ζ11^8+2*ζ11^3-1*ζ11^4-1*ζ11^7-2*ζ11 -2*ζ11^10) +η^2(2*ζ11^2+2*ζ11^9-1*ζ11 -1*ζ11^10-2*ζ11^8-2*ζ11^3) +η (2*ζ11^5+2*ζ11^6-1*ζ11^8-1*ζ11^3-2*ζ11^2-2*ζ11^9) http://rio2016.5ch.net/test/read.cgi/math/1671460269/188
189: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:15:30.63 ID:cbuR6Msl >>188 ?*? = (ζ11+ζ11^10)^2 +η (ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^2(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^3(ζ11^2+ζ11^9)^2 +η^4(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+ (ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^4(ζ11^4+ζ11^7)(ζ11+ζ11^10)+ (ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η (ζ11^4+ζ11^7)^2 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^3(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η (ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^2(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^4(ζ11^8+ζ11^3)^2 + (ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^3(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+ (ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η (ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^2(ζ11^5+ζ11^6)^2 = ((ζ11^2+ζ11^9+2)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^9+ζ11^10+ζ11 +ζ11^2)) +η ((ζ11^8+ζ11^3+2)+(ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9)) +η^2((ζ11^10+ζ11 +2)+(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )) +η^3((ζ11^4+ζ11^7+2)+(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5)) +η^4((ζ11^5+ζ11^6+2)+(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4)) = (2*ζ11^2+2*ζ11^9-1*ζ11^3-1*ζ11^8-2*ζ11^4-2*ζ11^7) +η (2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6) +η^2(2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9) +η^3(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^3-2*ζ11^8) +η^4(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10) http://rio2016.5ch.net/test/read.cgi/math/1671460269/189
190: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/31(土) 17:15:53.83 ID:rNlYJ3SK >>181 > 私は中学生でナーゲル・ニューマンの「数学から超数学へ ゲーデルの証明」読んだ ああ、あったね その本 (読んでないけど、チラ見した記憶がある) だが、私のは、その前の出版で、著者は日本人だった 原本は、置き場がないので処分した > で、自己言及とかいうだけなら誰でもいえるのよ いや、違う ”自己言及”が、キモ中のキモだよ 分かってないねw (参考) https://www.kurims.kyoto-u.ac.jp/~hassei/selfref2006.pdf 自己言及の論理と計算? 長谷川真人 ?京都大学数理解析研究所 数学入門公開講座(2002 年 8 月 5~8 日)の予稿を改訂(2006 年 5 月)/重要: 2007 年 8 月に Soto-Andrade と Varela の 1984 年の論文について追記 https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/242302/1/ybunk00789.pdf TITLE: 広義の自己言及のパラドクスの解 決方法とそのコスト( Abstract_要 旨 ) 山森, 真衣子 CITATION: AUTHOR(S): ISSUE DATE: TITLE: 広義の自己言及のパラドクスの解 決方法とそのコスト( Abstract_要 旨 ) 京都大学, 2019, 博士(文学) 2019-03-25 https://doi.org/10.14989/doctor.k21484 学位規則第9条第2項により要約公開 http://rio2016.5ch.net/test/read.cgi/math/1671460269/190
191: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:16:10.74 ID:cbuR6Msl >>189 ?*? = (ζ11+ζ11^10)^2 +η (ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^4(ζ11^2+ζ11^9)^2 + (ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η (ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^2(ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η (ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^2(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^3(ζ11^4+ζ11^7)^2 +η^4(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+ (ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+ (ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^2(ζ11^8+ζ11^3)^2 +η^3(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^3(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^4(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+ (ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η (ζ11^5+ζ11^6)^2 = ((ζ11^2+ζ11^9+2)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^2+ζ11^3+ζ11^8+ζ11^9)) +η ((ζ11^10+ζ11 +2)+(ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)) +η^2((ζ11^5+ζ11^6+2)+(ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5)) +η^3((ζ11^8+ζ11^3+2)+(ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4)) +η^4((ζ11^4+ζ11^7+2)+(ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^9+ζ11^10+ζ11 +ζ11^2)) = (2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7) +η (2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9) +η^2(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10) +η^3(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6) +η^4(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3) http://rio2016.5ch.net/test/read.cgi/math/1671460269/191
192: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:16:57.59 ID:cbuR6Msl >>191 ?*? = (ζ11+ζ11^10)^2 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η (ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η (ζ11^2+ζ11^9)^2 +η^3(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+ (ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^2(ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+ (ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^2(ζ11^4+ζ11^7)^2 +η^4(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η (ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^4(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η (ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η^3(ζ11^8+ζ11^3)^2 + (ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η (ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^3(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+ (ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^2(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^4(ζ11^5+ζ11^6)^2 = ((ζ11^2+ζ11^9+2)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)) +η ((ζ11^4+ζ11^7+2)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)) +η^2((ζ11^8+ζ11^3+2)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)) +η^3((ζ11^5+ζ11^6+2)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)) +η^4((ζ11 +ζ11^10+2)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)) = (2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7) +η (2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3) +η^2(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6) +η^3(2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10) +η^4(2*ζ11 +2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9) http://rio2016.5ch.net/test/read.cgi/math/1671460269/192
193: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:18:21.00 ID:cbuR6Msl >>192 ?*? = (ζ11+ζ11^10)^2 +η^3(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η (ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^4(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^2(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+η^2(ζ11^2+ζ11^9)^2 + (ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^3(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η (ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+η^4(ζ11^4+ζ11^7)^2 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+ (ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+ (ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+η (ζ11^8+ζ11^3)^2 +η^4(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η (ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^2(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+ (ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+η^3(ζ11^5+ζ11^6)^2 = ((ζ11^2+ζ11^9+2)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)) +η ((ζ11^5+ζ11^6+2)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^5+ζ11^6)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)) +η^2((ζ11^4+ζ11^7+2)+(ζ11^4+ζ11^7+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^2+ζ11^9)) +η^3((ζ11 +ζ11^10+2)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11 +ζ11^10+ζ11^5+ζ11^6)+(ζ11^8+ζ11^3+ζ11^5+ζ11^6)+(ζ11 +ζ11^10+ζ11^4+ζ11^7)) +η^4((ζ11^8+ζ11^3+2)+(ζ11^2+ζ11^9+ζ11^4+ζ11^7)+(ζ11 +ζ11^10+ζ11^8+ζ11^3)+(ζ11^2+ζ11^9+ζ11^8+ζ11^3)+(ζ11^4+ζ11^7+ζ11^8+ζ11^3)) = (2*ζ11^2+2*ζ11^9-1*ζ11^8-1*ζ11^3-2*ζ11^4-2*ζ11^7) +η (2*ζ11^5+2*ζ11^6-1*ζ11^2-1*ζ11^9-2*ζ11 -2*ζ11^10) +η^2(2*ζ11^4+2*ζ11^7-1*ζ11^5-1*ζ11^6-2*ζ11^8-2*ζ11^3) +η^3(2*ζ11 -2*ζ11^10-1*ζ11^4-1*ζ11^7-2*ζ11^2-2*ζ11^9) +η^4(2*ζ11^8+2*ζ11^3-1*ζ11 -1*ζ11^10-2*ζ11^5-2*ζ11^6) http://rio2016.5ch.net/test/read.cgi/math/1671460269/193
194: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:20:01.98 ID:cbuR6Msl >>193 ?*? = (ζ11+ζ11^10)^2 +η (ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^2(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η^3(ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^4(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^4(ζ11^2+ζ11^9)(ζ11+ζ11^10)+ (ζ11^2+ζ11^9)^2 +η (ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^2(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η^3(ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η^3(ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^4(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+ (ζ11^4+ζ11^7)^2 +η (ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^2(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^2(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η^3(ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^4(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+ (ζ11^8+ζ11^3)^2 +η (ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η (ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^2(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η^3(ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^4(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+ (ζ11^5+ζ11^6)^2 = (ζ11^2+ζ11^9+ζ11^4+ζ11^7+ζ11^8+ζ11^3+ζ11^5+ζ11^6+ζ11+ζ11+10) +η ((ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5)) +η^2((ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4)) +η^3((ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^9+ζ11^10+ζ11 +ζ11^2)) +η^4((ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9)) =(-1)+10+(η+η^2+η^3+η^4)(-2) =(-1)+10+(-1)(-2) =(-1)+10+2 =11 http://rio2016.5ch.net/test/read.cgi/math/1671460269/194
195: わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf [] 2022/12/31(土) 17:20:58.74 ID:cbuR6Msl >>194 ?*? = (ζ11+ζ11^10)^2 +η^2(ζ11 +ζ11^10)(ζ11^2+ζ11^9)+η^4(ζ11 +ζ11^10)(ζ11^4+ζ11^7)+η (ζ11 +ζ11^10)(ζ11^8+ζ11^3)+η^3(ζ11 +ζ11^10)(ζ11^5+ζ11^6) +η^3(ζ11^2+ζ11^9)(ζ11+ζ11^10)+ (ζ11^2+ζ11^9)^2 +η^2(ζ11^2+ζ11^9)(ζ11^4+ζ11^7)+η^4(ζ11^2+ζ11^9)(ζ11^8+ζ11^3)+η (ζ11^2+ζ11^9)(ζ11^5+ζ11^6) +η (ζ11^4+ζ11^7)(ζ11+ζ11^10)+η^3(ζ11^4+ζ11^7)(ζ11^2+ζ11^9)+ (ζ11^4+ζ11^7)^2 +η^2(ζ11^4+ζ11^7)(ζ11^8+ζ11^3)+η^4(ζ11^4+ζ11^7)(ζ11^5+ζ11^6) +η^4(ζ11^8+ζ11^3)(ζ11+ζ11^10)+η (ζ11^8+ζ11^3)(ζ11^2+ζ11^9)+η^3(ζ11^8+ζ11^3)(ζ11^4+ζ11^7)+ (ζ11^8+ζ11^3)^2 +η^2(ζ11^8+ζ11^3)(ζ11^5+ζ11^6) +η^2(ζ11^5+ζ11^6)(ζ11+ζ11^10)+η^4(ζ11^5+ζ11^6)(ζ11^2+ζ11^9)+η (ζ11^5+ζ11^6)(ζ11^4+ζ11^7)+η^3(ζ11^5+ζ11^6)(ζ11^8+ζ11^3)+ (ζ11^5+ζ11^6)^2 = (ζ11^2+ζ11^9+ζ11^4+ζ11^7+ζ11^8+ζ11^3+ζ11^5+ζ11^6+ζ11+ζ11+10) +η^2((ζ11^3+ζ11 +ζ11^10+ζ11^8)+(ζ11^6+ζ11^2+ζ11^9+ζ11^5)+(ζ11 +ζ11^4+ζ11^7+ζ11^10)+(ζ11^2+ζ11^8+ζ11^3+ζ11^9)+(ζ11^6+ζ11^7+ζ11^4+ζ11^5)) +η^4((ζ11^5+ζ11^3+ζ11^8+ζ11^6)+(ζ11^10+ζ11^6+ζ11^5+ζ11 )+(ζ11^9+ζ11 +ζ11^10+ζ11^2)+(ζ11^9+ζ11^4+ζ11^7+ζ11^2)+(ζ11^7+ζ11^8+ζ11^3+ζ11^4)) +η ((ζ11^9+ζ11^7+ζ11^4+ζ11^2)+(ζ11^7+ζ11^3+ζ11^8+ζ11^4)+(ζ11^5+ζ11^8+ζ11^3+ζ11^6)+(ζ11^10+ζ11^5+ζ11^6+ζ11 )+(ζ11^9+ζ11^10+ζ11 +ζ11^2)) +η^3((ζ11^6+ζ11^4+ζ11^7+ζ11^5)+(ζ11^3+ζ11^10+ζ11 +ζ11^8)+(ζ11^6+ζ11^9+ζ11^2+ζ11^5)+(ζ11 +ζ11^7+ζ11^4+ζ11^10)+(ζ11^2+ζ11^3+ζ11^8+ζ11^9)) =(-1)+10+(η+η^2+η^3+η^4)(-2) =(-1)+10+(-1)(-2) =(-1)+10+2 =11 http://rio2016.5ch.net/test/read.cgi/math/1671460269/195
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 807 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.211s*