利用者:Omuraisu tabetarou 2/一年生の夢
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f0/Freshman%27s_Dream.svg/220px-Freshman%27s_Dream.svg.png)
一年生の夢(freshman's dream)は、誤りを含む式である(x + y)n=x n + y nの呼称である(ここでnは実数で、通常1より大きい整数)。初学者がしばしば、実数の和の累乗を考えるときに指数を項のそれぞれに分配してしまうことからこう呼ばれる。 [1] [2]
例えばn = 2の場合を考えると、(x + y)2 は正しくはx2 + 2xy + y2と展開される。大きな値のnについては、正しい結果は二項定理によって与えられる。
また「一年生の夢」は、素数pについて、xとyが標数pの可換環の要素であるとき、( x + y )p = xp + yp であるという定理を指すことがある。この場合 、pが最初と最後以外の二項係数を打ち消し、それらの項が0になるため、一見誤った式が正しくなる。
この式はトロピカル幾何学の文脈においても成立する。なぜなら、トロピカル幾何学においては乗算が加算、加算が最小化に置き換わるためである。[3]
具体例
[編集]- となるが、実際には 。
- n = \tfrac{1}{2}のとき、
= となるが、これは一般に成立しない。例えば、 となるが、これは3 + 4 = 7と等しくない。
指数が素数の場合
[編集]この等式は、特定の条件下で成り立つこともある。
pが素数で、xとyが標数pの可換環の元である場合、等式(x + y)p = xp + ypは成立する。これは二項係数の素因数の内の素数について調べることで証明される。n番目の二項係数は
で表される。分子はpの階乗であるから、pで割り切れる。しかし、0<n<pであること、pは素数であり、nのすべての素因数はpよりも小さいことから、n!と(p - n)!はともにpと互いに素であると言える。また、二項係数は常に整数であるから、n番目の係数はpで常に割り切れ、したがって環において0となる。したがって展開した最初と最後の項1が残り、与式を得る。
したがって、標数pの環において「一年生の夢」は正しい。このことから、p乗することによってフロベニウス自己準同型として知られる自己準同型が生成されることがわかる。
ここで標数pが素数であることがこの「一年生の夢」定理の成立に必要である。関連する定理として、pが素数ならば、多項式環 において (x + 1)p ≡ xp + 1 が成立する。この定理は、現代の素数判定における重要な役割を果たしている。[4]
歴史とその他の呼称
[編集]「一年生の夢」という用語に関する歴史はあまり定かではないが、1940年代にモジュラー曲線の記事において、ソーンダース・マックレーンが「代数学を学ぶ一年生は、標数2の代数体において、(a + b)2 = a2 + b2が成立するという事実に大いに苦しめられるだろう」というクリーネの発言を引用している。これが一年生(freshman)と正標数の体における二項定理の拡張についての最初の言及であると思われる。[5] 以来、学部レベルのテキストの中に生徒がよく陥る誤りについて記述された。 実際に「一年生の夢(freshman's dream)」という言葉が最初に表れたのは、1984年のHungerfordが書いた大学院生向けの代数学のテキストである。ここでHungerfordはMcBrienを引用している。[6] また、"freshman exponentiation"という用語も、1998年にFraleighによって用いられている[7]。 数学以外の文脈では、"freshman's dream"という言葉自体は19世紀から用いられている。[8]
また、(x + y)n の拡張が二項定理から得られることから、「一年生の夢」の等式はchild's binomial theorem" や、"schoolboy binomial theorem"としても知られる(二項定理は英語でbinomina theoremという)。
関連項目
[編集]参考文献
[編集]- ^ Julio R. Bastida, Field Extensions and Galois Theory, Addison-Wesley Publishing Company, 1984, p.8.
- ^ Fraleigh, John B., A First Course in Abstract Algebra, Addison-Wesley Publishing Company, 1993, p.453, ISBN 0-201-53467-3.
- ^ Difusión DM (2018-02-23), Introduction to Tropical Algebraic Geometry (1 of 5) 2019年6月11日閲覧。
- ^ A. Granville, It Is Easy To Determine Whether A Given Integer Is Prime, Bull. of the AMS, Volume 42, Number 1 (Sep. 2004), Pages 3–38.
- ^ Colin R. Fletcher, Review of Selected papers on algebra, edited by Susan Montgomery, Elizabeth W. Ralston and others. Pp xv, 537. 1977. ISBN 0-88385-203-9 (Mathematical Association of America), The Mathematical Gazette, Vol. 62, No. 421 (Oct., 1978), The Mathematical Association. p. 221.
- ^ Thomas W. Hungerford, Algebra, Springer, 1974, p. 121; also in Abstract Algebra: An Introduction, 2nd edition. Brooks Cole, July 12, 1996, p. 366.
- ^ John B. Fraleigh, A First Course In Abstract Algebra, 6th edition, Addison-Wesley, 1998. pp. 262 and 438.
- ^ Google books 1800–1900 search for "freshman's dream": Bentley's miscellany, Volume 26, p. 176, 1849