一年生の夢のソースを表示

[[ファイル:Freshman's_Dream.svg|右|サムネイル|「一年生の夢」を二次元で表したもの。正方形の各辺の長さはX + Y。このとき正方形の面積は、黄色の領域の面積（= X <sup>2</sup> ）、緑色の領域の面積（= Y <sup>2</sup> ）、および2つの白い領域の面積（= 2XY）の合計となる。]]
'''一年生の夢'''（いちねんせいのゆめ、Freshman's dream）は、''(x'' + ''y)''<sup>''n''</sup>=''x'' <sup>''n''</sup> + ''y'' <sup>''n''</sup>という誤りを含んだ式の呼称（ここで''n''は実数で、通常1より大きい整数）である。初学者がしばしば、実数の和の累乗を考えるときに指数をそれぞれの項に分配してしまうことからこう呼ばれる<ref>Julio R. Bastida, ''Field Extensions and Galois Theory'', Addison-Wesley Publishing Company, 1984, p.8.</ref><ref>Fraleigh, John B., ''A First Course in Abstract Algebra'', Addison-Wesley Publishing Company, 1993, p.453, {{ISBN2|0-201-53467-3}}.</ref>。

例えば''n'' = 2の場合を考えると、(''x'' + ''y'')<sup>2</sup> は正しくは''x'' <sup>2</sup> + 2''xy'' + ''y''<sup>2</sup>と展開される。一般の''n''についての正しい結果は[[二項定理]]によって与えられる。

また「一年生の夢」は、[[素数]]''p''について、''x''と''y''が[[標数]]''p''の[[可換環]]の元であるとき、（''x''&nbsp;+&nbsp;''y''）<sup>''p''</sup>&nbsp;=&nbsp;''x''<sup>''p''</sup>&nbsp;+&nbsp;''y''<sup>''p''</sup>であるという定理を指すことがある。この場合 、''p''が最初と最後以外の二項係数を打ち消し、それらの項が0になるため、一見誤った式が成立する。

この式は[[トロピカル幾何学]]の文脈においても成立する。なぜなら、トロピカル幾何学においては乗算が加算、加算が最小化に置き換わるためである<ref>{{Citation|title=Introduction to Tropical Algebraic Geometry (1 of 5)|last=Difusión DM|date=2018-02-23|url=https://www.youtube.com/watch?v=unjVp6HQVmc|access-date=2019-06-11}}</ref>。

== 具体例 ==
* <math>(1+4)^2 = 5^2 = 25</math>、<math>1^2+4^2 = 17</math> であり、<math>(1+4)^2\neq 1^2+4^2</math>が成り立つ。 
* ''n'' = <math>\tfrac{1}{2}</math>のとき、<math>\sqrt{x^2+y^2}</math> '''=''' <math>\sqrt{x^2}+\sqrt{y^2}=|x|+|y|</math>  となるが、これは一般に成立しない。例えば、 <math>\sqrt{9+16}=\sqrt{25}=5</math> となるが、これは3 + 4 = 7と等しくない。
== 指数が素数の場合 ==
この等式は、特定の条件下で成り立つこともある。

''p''が素数で、''x''と''y''が[[標数]]''p''の[[可換環]]の元である場合、等式

{{nowrap|1=(''x'' + ''y'')<sup>''p''</sup> = ''x''<sup>''p''</sup> + ''y''<sup>''p''</sup>}}

は成立する。これは[[二項定理|二項係数]]の素因数の内の素数について調べることで証明される。''n''番目の二項係数は

: <math>\binom{p}{n} = \frac{p!}{n!(p-n)!}.</math>

で表される。分子は''p''の階乗であるから、''p''で割り切れる。また、''0 < n < p''であること、''p''は素数であり、''n''のすべての素因数は''p''よりも小さいことから、''n''!と''(p - n)''!はともに''p''と互いに素であると言える。加えて二項係数は常に整数であるから、''n''番目の係数は''p''で常に割り切れ、したがって環において0となる。したがって展開した最初と最後の項である1が残り、与式を得る。

したがって、標数''p''の環において「一年生の夢」は正しい。このことから、''p''乗することによって[[フロベニウス自己準同型]]として知られる形の[[自己準同型]]が生成されることがわかる。

ここで標数''p''が素数であることがこの「一年生の夢」定理の成立に必要である。関連する定理として、''p''が素数ならば、[[多項式環]] <math>\mathbb{Z}_p[x]</math>において  {{nowrap|(''x'' + 1)<sup>''p''</sup> ≡ ''x<sup>p</sup>'' + 1}} であるというものがある。この定理は、現代の[[素数判定]]における重要な役割を果たしている<ref name=Granville>A. Granville, ''[https://www.ams.org/bull/2005-42-01/S0273-0979-04-01037-7/S0273-0979-04-01037-7.pdf It Is Easy To Determine Whether A Given Integer Is Prime]'', Bull. of the AMS, Volume 42, Number 1 (Sep. 2004), Pages 3–38.</ref>。

== 歴史とその他の呼称 ==
[[File:Thomas Hungerford.jpg|thumb|トーマス・ハンガーフォード]]
「一年生の夢」という用語に関する歴史はあまり定かではないが、1940年代に[[モジュラー曲線]]の記事において、[[ソーンダース・マックレーン]]が「代数学を学ぶ一年生は、標数2の代数体において、{{nowrap|1=(''a'' + ''b'')<sup>2</sup> = ''a''<sup>2</sup> + ''b''<sup>2</sup>}}が成立するという事実に大いに苦しめられるだろう」という[[クリーネ]]の発言を引用している。これが一年生(freshman)と正標数の体における二項定理の拡張についての最初の言及であると思われる<ref>Colin R. Fletcher, Review of ''Selected papers on algebra, edited by [[Susan Montgomery]], Elizabeth W. Ralston and others. Pp xv, 537. 1977. {{ISBN2|0-88385-203-9}} (Mathematical Association of America)'', ''The Mathematical Gazette'', Vol. 62, No. 421 (Oct., 1978), The Mathematical Association. p. 221.</ref>。以来、学部レベルのテキストの中に生徒がよく陥る誤りについて記述された。 実際に「一年生の夢(''freshman's dream'')」という言葉が最初に表れたのは、1984年の{{仮リンク|トーマス・ハンガーフォード|en|Thomas W. Hungerford}}が書いた大学院生向けの代数学のテキストである。ここでハンガーフォードはMcBrienを引用している<ref>Thomas W. Hungerford, ''Algebra,'' Springer, 1974, p. 121; also in ''Abstract Algebra: An Introduction'', 2nd edition. Brooks Cole, July 12, 1996, p. 366.</ref>。また、"'''freshman exponentiation'''"という用語も、1998年Fraleighによって用いられている<ref>John B. Fraleigh, ''A First Course In Abstract Algebra'', 6th edition, Addison-Wesley, 1998. pp. 262 and 438.</ref>。数学以外の文脈では、"freshman's dream"という言葉自体は19世紀から用いられている<ref>[https://www.google.com/search?tbo=p&tbm=bks&q=%22freshman%27s+dream%22&tbs=,cdr:1,cd_min:Jan%201_2%201800,cd_max:Dec%2031_2%201900&num=10 Google books 1800–1900 search for "freshman's dream"]: [https://books.google.com/books?id=3XNHAAAAYAAJ&pg=PA176&dq=%22freshman%27s+dream%22 Bentley's miscellany, Volume 26, p. 176], 1849</ref>。

また、{{nowrap|(''x'' + ''y'')<sup>''n''</sup>}} の拡張が二項定理から得られることから、「一年生の夢」の等式は"'''child's binomial theorem'''<ref name=Granville/> や、"'''schoolboy binomial theorem'''"としても知られる。

== 関連項目 ==
* [[:en:Pons asinorum]](英語版)
* [[素数判定]]
* [[二年生の夢]]
* [[フロベニウス自己準同型]]

== 参考文献 ==
{{reflist|2}}

{{デフォルトソート:いちねんせいのゆめ}}
[[Category:代数学]]
[[Category:無効な証明]]
[[Category:環論]]
[[Category:素数]]
[[Category:数学に関する記事]]