TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
フェルマーの最終定理の反例が見つかる
Inter-universal geometry と ABC予想 38
数学学習法
現代数学の系譜 工学物理雑談 古典ガロア理論も読む43
アレクサンドル・グロタンディーク神
♂♂♂♂♂♂♂♂♂♂♂♂ 星質 ３
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
虚数は存在するか？
1文字変えたら難易度が激変する問題 3文字目
現代数学の系譜 工学物理雑談 古典ガロア理論も読む54
- 951 ：
- スレチだったらすみません。
任意の自然数nに関する実数tの3次方程式を考えます。
∀n∈N∃t∈R {t^3+3nt^2-3n-2=0}
このときこの方程式の条件式の部分だけを考えて、
t^3+3nt^2-3n-2=0⇔∃X,Y{Y=(3/2)t^2*X-t^3∧(X,Y)=(-2n,-3n-2)}
と、同値変形することは正しいでしょうか？
これだけだと同値式の左辺はn,tの定義が不明で方程式として見ているのか恒等式なのか判断できないから真偽判定できないが
右辺はX,Yの存在に関する真偽判定可能な命題になっていて本当に論理的に左右が等しいのかわからないのではないか？
と、指摘がありました。
その人は右辺の二つ目の条件は条件というよりもX,Yの定義そのものだから∃X,Yを削除して、さらに条件式だけではなくt,nの定義もセットにして
∀n∈N∃t∈R {t^3+3nt^2-3n-2=0}⇔∀n∈N∃t∈R{Y=(3/2)t^2*X-t^3, ただし(X,Y)=(-2n,-3n-2)}
とするのであれば理解できると言ってました。
結局条件式の同値変形はどうするのが正しいのでしょうか？
特に∃X,Yが付くか付かないかで本当に意味が変わってしまうのでしょうか？
わかる方がいましたら何卒回答を教えていただきたいです。よろしくお願いいたします
数学記号を考案・改良するスレ
Inter-universal geometry と ABC 予想 43
最古の未解決問題が解決されたのか
Inter-universal geometry と ABC予想 28
数学板の荒らし
現代数学の系譜11 ガロア理論を読む23
整数論を勉強するためのスレッド
Inter-universal geometry と ABC予想 28
羽生善治応援スレ
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
--------------------
【政治経済】令和床屋談義 町の噂その742
【楽天】SANNETについて18【終るまでは終らない】
【寅さん】葛飾区の住人の集い４【両さん】
【ATP】男子プロテニス総合スレッド242 ﾜｯﾁｮｲ有
基地外大野智ヲタの悪行を語るスレ653
【ゴルゴ】戦場の絆将官雑談スレ4オ【ハウス！】
■ 自宅サーバ板できました。
【闇にそびえ立つ】福岡いじめ自殺総合スレpart11【法の壁】
刃牙道まーた休載かよいい加減にしろや板垣
コードギアス 反逆のルルーシュ 参戦希望スレ33
【ソサエティ】札幌圏のまちづくり42【問題解決地】
少林寺の武術(実戦篇と架空篇)
STU48石田・SKE48末永・NGT48本間ソロコンサート 当日券発売のご案内
☆☆★OSK日本歌劇団Part84★☆★祝97周年
SHARP プラズマクラスター・空気清浄機 Part2
乾燥系アトピー ★サウナ岩盤浴運動★汗をかこう！
素敵な動画を観たらその感想を誰かと共有したいだろ？
河合龍之介
真野ちゃんこと真野恵里菜がすごくかわいいPart483
谷マンぺー貴明
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼