コンテンツにスキップ

利用者:虎子算/sandbox/2

一年生の夢の視覚的表現。正方形の一辺の長さがX+Y。色のついた部分が一年生の夢が正しかった場合、この図形の面積は黄色の部分(=X2)と緑色の部分(=Y2)の和となるが、実際には白い部分(=2×X×Y)も含めた和がこの正方形の面積となる。

数学において、一年生の夢(:freshman's dream) とは、n実数(実際には1より大きい自然数を指すことが多い)のとき、(x + y)n = xn + ynとする誤りにつけられた名前である。学び始めの学生(=一年生)がよく間違えるとされる、実数の和の累乗である[1][2]。例えばn = 2のとき、何が間違っているかを知ることは容易い。(x + y)2は正しくは分配法則(またはFOIL method)を用いることによって、x2 + 2xy + y2と計算される。また、2以上の自然数がnの場合は、正しい結果は二項定理によって与えられる。

また、「一年生の夢」という呼称は refers to the theorem that says that for a 素数p, if x and y are members of a commutative ring of characteristic p, then (x + y)p = xp + yp. In this case, the "mistake" actually gives the correct result, due to p dividing all the binomial coefficients save the first and the last.

Examples

  • , but .
  • does not generally equal . For example, , which does not equal 3+4=7. In this example, the error is being committed with the exponent n = 12.

Prime characteristic

When p is a prime number and x and y are members of a commutative ring of characteristic p, then (x + y)p = xp + yp. This can be seen by examining the prime factors of the binomial coefficients: the nth binomial coefficient is

The numerator is p factorial, which is divisible by p. However, when 0 < n < p, neither n! nor (pn)! is divisible by p since all the terms are less than p and p is prime. Since a binomial coefficient is always an integer, the nth binomial coefficient is divisible by p and hence equal to 0 in the ring. We are left with the zeroth and pth coefficients, which both equal 1, yielding the desired equation.

Thus in characteristic p the freshman's dream is a valid identity. This result demonstrates that exponentiation by p produces an endomorphism, known as the Frobenius endomorphism of the ring.

The demand that the characteristic p be a prime number is central to the truth of the freshman's dream. In fact, a related theorem states that if a number n is prime then (x+1)nxn + 1 (mod n) in the polynomial ring . This theorem is a direct consequence of Fermat's Little Theorem and it is a key fact in modern primality testing.[3]

History and alternate names

The history of the term "freshman's dream" is somewhat unclear. In a 1940 article on modular fields, Saunders Mac Lane quotes Stephen Kleene's remark that a knowledge of (a + b)2= a2 + b2 in a field of characteristic 2 would corrupt freshman students of algebra. This may be the first connection between "freshman" and binomial expansion in fields of positive characteristic.[4] Since then, authors of undergraduate algebra texts took note of the common error. The first actual attestation of the phrase "freshman's dream" seems to be in Hungerford's undergraduate algebra textbook (1974), where he quotes McBrien.[5] Alternative terms include "freshman exponentiation", used in Fraleigh (1998).[6] The term "freshman's dream" itself, in non-mathematical contexts, is recorded since the 19th century.[7]

Since the expansion of (x + y)n is correctly given by the binomial theorem, the freshman's dream is also known as the "Child's Binomial Theorem" [3] or "Schoolboy Binomial Theorem".

See also

References

  1. ^ Julio R. Bastida, Field Extensions and Galois Theory, Addison-Wesley Publishing Company, 1984, p.8.
  2. ^ Fraleigh, John B., A First Course in Abstract Algebra, Addison-Wesley Publishing Company, 1993, p.453, ISBN 0-201-53467-3.
  3. ^ a b 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.
  4. ^ 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.
  5. ^ Thomas W. Hungerford, Algebra, Springer, 1974, p. 121; also in Abstract Algebra: An Introduction, 2nd edition. Brooks Cole, July 12, 1996, p. 366.
  6. ^ John B. Fraleigh, A First Course In Abstract Algebra, 6th edition, Addison-Wesley, 1998. pp. 262 and 438.
  7. ^ Google books 1800–1900 search for "freshman's dream": Bentley's miscellany, Volume 26, p. 176, 1849