フリード ステンマフラー【ノブレッセ】フリード ノブレッセマフラー タイプ6 片側1本出し/オールステン/2WD/ノーマル

三次方程式の解の公式が長すぎて教科書に書けない!


3次方程式や4次方程式の解の公式がどんな形か、知っていますか?3次方程式の解の公式は「カルダノの公式」、4次方程式の解の公式は「フェラーリの公式」と呼ばれています。そして、実は5次方程式の解の公式は存在しないことが証明されているのです...

はるかって、もう二次方程式は習ったよね。

はい。二次方程式の解の公式は中学生でも習いましたけど、高校生になってから、解と係数の関係とか、あと複素数も入ってきたりして、二次方程式にも色々あるんだなぁ〜という感じです。

二次方程式の解の公式って言える?

はい。
えっくすいこーるにーえーぶんのまいなすびーぷらすまいなするーとびーにじょうまいなすよんえーしーです。


二次方程式の解の公式

のとき、

ただし、は実数

うん、正解!

それでは質問だ。なぜ一次方程式の解の公式は習わないのでしょうか?

え、一次方程式の解の公式ですか...?

そういえば、何ででしょう...?

ちなみに、一次方程式の解の公式を作ってくださいと言われたら、できる?

★送料無料★(一部離島等除く) プレーリー リバティ エアインテークダクト PM12 ED-6552 スプリング【アールエスアール】サスペンション プレーリーリバティー PNM12 2000 NA [10/10~13/4] Ti2000 DOWN - 1台分

うーんと、
まず、一次方程式は、と表せます。なので HONDA ホンダ 純正 NVAN N-VAN エヌバン インパネトレイリッド ブラック 2018.7~仕様変更 08U35-TXA-010 、ですね!

おっけーだ!但し、を忘れないでね!


一次方程式の解の公式

のとき、

じゃあ、の解は?

えっ、ですよね?

うん。じゃあは?

えっと、です。

いいねー
次は、の解は?

えっ..ちょ、ちょっと待って下さい。計算します。

いや、いいよ計算しなくても(笑)

いや、でもさすがに二次方程式になると、暗算ではできません...

あっ、そうか。一次方程式は公式を使う必要がない...?

と 14インチパレットMK21SWEDS ライツレー ゼファイスX マシニングブラック 4.5Jx14SINCERA SN832i 165/55R14、

★送料無料★(一部離島等除く) プレーリー リバティ PM12 スプリング【アールエスアール】サスペンション プレーリーリバティー PNM12 2000 NA [10/10~13/4] Ti2000 DOWN - 1台分

零1000 ZERO-1000 パワーチャンバー TYPE-2 スーパーレッド 102H001 オルティア E・GF-EL2/3, EXCLUSIVE ZEUS アルファード H2# 後期 G/Xグレード GLACE LINE 3点セット マフラー4本出し ブラック(202)塗装済 塗装済み, 【店舗塗装サービス】【★送料無料】 【30 プリウス アーティシャンスピリッツ】プリウス ZVW30 SPORTS LINE BLACK LABEL REAR ROOF SPOILER FRP製, Bellezza/ベレッツァ シートカバー NV100クリッパー U71V/U72V カジュアル S-LINE ブラック, フェンダーレスキット ブラック LEDナンバー灯付 ACTIVE(アクティブ) Ninja250R(ニンジャ250R)08~12年 ユーノスロードスター(03.9~)NB6C改 Coupe■プロジェクトμ ブレーキパッド BESTOP 前後セット 【送料無料】, DIXCEL (ディクセル) リア ブレーキローター FP 1561562 ポルシェ 911 (996) 04~06 3.6 GT3 フロント:6POT, テイン ストリートベイシスZ ホンダ オデッセイ FF RB3用 GSB84-81SS2【車高調】【自動車パーツ】TEIN STREET BASIS Z, 【イベント開催中!】 SP武川 SPタケガワ ピストン・ピストン周辺パーツ ピストンキット ベンリィCD90, KOHKEN コーケン(旧光研電化) メカニカルクラッチホルダー L-24 エアロレバーセット ホルダーカラー:ブルー レバーカラー:オレンジ レバー長:スタンダード 【代引不可】GET-PRO:スノーソック 非金属 7号サイズ 235/50R18 (タイヤチェーン) KSC80077-019

★送料無料★(一部離島等除く) プレーリー リバティ PM12 スプリング【アールエスアール】サスペンション プレーリーリバティー PNM12 2000 NA [10/10~13/4] Ti2000 DOWN - 1台分:エスペリア ピクシスメガ LA700A L/L SA/D/D SA スプリング ダウンサス リア EST-2371R スーパーダウンサス Super DOWNSUS ESPELIR ウェーブディスクローター YA08RID リア BRAKING(ブレーキング) YZF-R7

★送料無料★(一部離島等除く) プレーリー リバティ PM12 スプリング【アールエスアール】サスペンション プレーリーリバティー PNM12 2000 NA [10/10~13/4] Ti2000 DOWN - 1台分.235/60R18 103H MAXTREK マックストレック SIERRA S6 シエラ エスロク BADX LOXARNY EX BYRONAVENGER バドックス ロクサーニ EX バイロンアベンジャー サマータイヤホイール4本セット 【メーカー在庫あり】 ネオファクトリー XL用サイドマウントホーンキット クローム 021598 JP店

DIXCEL/ディクセル ブレーキディスクローター SD リア用 ホンダ ACCORD AERODECK アコード エアロデッキ 年式85/6~89/9 型式CA1 SD335 2538S 車台→1200000 DIXCEL/ディクセル ブレーキディスクローター SD リア用 ホンダ FIT フィット 年式04/06~05/12 型式GD3 SD335 5010S 1.5S

、いうと?

えっとですね、一次方程式ぐらいだと、公式なんか使わなくても、暗算ですぐできます。

でも、二次方程式になると、暗算ではできません。そのために、公式を使うんじゃないですかね?

うん!多分そういうことだと思うよ!
わざわざ一次方程式の解の公式のせても、あんまり意識して使わないからね。


三次方程式の解の公式

とういうことは、今はるかは、「一次方程式の解の公式」と、「二次方程式の解の公式」を手に入れたことになるね。

はい!計算練習もちゃんとしましたし、多分使えますよ!

では問題です。

三次方程式の解の公式を求めて下さい。

ううう...ぽんさんの問題はいつもぶっ飛んでますよね...

そんなの習ってませんよー

確かに、高校では習わないね。
でも ☆☆グッドイヤー フレックススチール G223 ライトトラック用 205/65R16 109/107L、どんな形か気にならない?

確かに、一次、二次と解の公式を見ると、三次方程式の解の公式も見てみたいです。
どんな形なんですか?

実は俺も覚えてないんだよ...(笑)

えぇー!!

でも大丈夫。パソコンに解いてもらいましょう。

三次方程式の解の公式はこんな感じです。


三次方程式の解の公式
(引用:http://www.wolframalpha.com/input/?i=ax^3%2Bbx^2%2Bcx%2Bd%3D0)

えええ!こんな長いんですか!?

うん。そうだよ!

よく見てごらん。ちゃんとの4つの係数の組み合わせでの値が表現されていることが分かるよ!

ホントですね...

こんな長い公式を教科書に乗せたら、2ページぐらい使っちゃいそうです!
それに、まず覚えられません!!(笑)

だよね、だから三次方程式の解の公式は教科書に載っていない。

この三次方程式の解の公式は、別名「カルダノの公式」と呼ばれているんだ。

カルダノの公式ですか?カルダノさんが作ったんですか?

いや、いろんな説があるんだけど、どうやらこの解の公式を作った人は「タルタリア」という人物らしい。
タルタリアは、いろんな事情があってこの公式を自分だけの秘密にしておきたかったんだ。

でも、タルタリアが三次方程式の解の公式を見つけたという噂を嗅ぎつけた、カルダノという数学者が、タルタリアに何度もしつこく「誰にも言わないから、その公式を教えてくれ」とお願いしたんだ。

何度もしつこくお願いされたタルタリアは、「絶対に他人に口外しない」という理由で、カルダノにだけ特別に教えたんだけど、それが良くなかった...

カルダノは、約束を破って、三次方程式の解の公式を、本に書いて広めてしまったんだ。
つまり結局は、この公式を有名にしたのは「カルダノ」なんだ。
だから、今でも「カルダノの公式」と呼ばれている。

公式を作ったわけじゃないのに、広めただけで自分の名前が付くんですね...

自分が作った公式が、他の人の名前で呼ばれているタルタリアさんも、なんだか、かわいそうです...

この三次方程式の解の公式を巡る数学者の話はとてもおもしろい。興味があれば、学校の図書館で以下の様な本を探して読んでみるといいよ。この話がもっと詳しく書いてあるし、とても読みやすいよ!

哲学的な何か、あと数学とか|二見書房

分かりました。なんだか面白そうですね!

ところで、四次方程式の解の公式ってあるんですか!?

三次方程式の解の公式であれだけ長かったのだから、四次方程式の公式っても〜っと長いんですかね??

面白いところに気づくね!

確かに、四次方程式の解の公式は存在するよ!それも、とても長い!

見てみたい?

はい!

これがの解の公式です!


四次方程式の解の公式
(引用:http://www.wolframalpha.com/input/?i=ax^4%2Bbx^3%2Bcx^2%2Bdx%2Be%3D0)

すごい....!

期待を裏切らない長さっ!って感じですね!

実はこの四次方程式にも名前が付いていて、「フェラーリの公式」と呼ばれている。

今度はちゃんとフェラーリさんが発見したんですか?

うん。どうやらそうみたいだ。
しかもフェラーリは、カルダノの弟子だったと言われているんだ。

なんだか、ドラマみたいな人物関係ですね...(笑)
タルタリアさんは、カルダノさんに三次方程式の解の公式を取られて、さらにその弟子に四次方程式の解の公式を発見されるなんて、なんだかますますかわいそうですね...

たしかにそうだね...(笑)

じゃあじゃあ、話戻りますけど、五次方程式の解の公式って、これよりもさらに長いんですよね!

と思うじゃん?

え、短いんですか?

いや...そうではない。

実は、五次方程式の解の公式は「存在しない」ことが証明されているんだ。

え 、存在しないんですか!?

うん。正確には、五次以上の次数の一般の方程式には、解の公式は存在しない。
これは、アーベル・ルフィニの定理と呼ばれている。ルフィニさんがおおまかな証明を作り、アーベルさんがその証明の足りなかったところを補うという形で完成したんだ。

へぇ...

でも、将来なんかすごい数学者が出てきて、ひょっとしたらいつか五次方程式の解の公式が見つかるかもしれないですね!

そう考えると、どんな長さになるのか楽しみですねっ!

いや、「存在しないことが証明されている」から、存在しないんだ。

今後、何百年、何千年たっても存在しないものは存在しない。
存在しないから、絶対に見つかることはない。

難しいけど...意味、わかるかな?

えっ、でも、やってみないとわからなく無いですか?

うーん...

じゃあ、例えばこんな問題はどうだろう?


次の式を満たす自然数を求めよ。

えっ...は自然数ですよね?

普通に式を解くと、になってしまいます。
式を満たす自然数なんて存在しません。

だよね?

でも、式の計算の方法をまだ習っていない人たちは、と、を1ずつ増やしながら代入していって、延々に自然数を探し続けるかも知れない。

は...違う。は...違う。でも...違う。まで調べても...違う。こうやって 【ブレンボ】ブレーキパッド MERCEDES BENZ W210 (SEDAN) [ 210070 ][ 97/8~02/05 ][ REAR ] 【 レッド 車台No.A962232→/正規輸入車(Fr. 1POT Caliper)/《グレード》E430 】、まで計算しても、等式が成り立たない。こんな人を見てたら、どう思う?

えっと...

すごくかわいそうなんですけど、探すだけ無駄だと思います。

だよね。五次方程式の解の公式も同じだ。

「存在しないことが証明されている」ので、どれだけ探しても見つからないんだ...

うーん...そうなんですね、残念です...

ちなみに、五次方程式に解の公式が存在しないことの証明はアーベルとは別にガロアという数学者も行っている。

その証明で彼が用いた理論は、今日ではガロア理論とよばれている。ガロア理論は、現在でも数学界で盛んに研究されている「抽象代数学」の扉を開いた大理論とされているんだ。

なんだか解の公式一つとっても奥が深い話になって、興味深いです!
もっと知りたくなってきました!

3
もっと楽しい数学のお話あります!