Английская Википедия:Freshman's dream
The freshman's dream is a name sometimes given to the erroneous equation <math>(x+y)^n=x^n+y^n</math>, where <math>n</math> is a real number (usually a positive integer greater than 1) and <math>x,y</math> are non-zero real numbers. Beginning students commonly make this error in computing the power of a sum of real numbers, falsely assuming powers distribute over sums.[1][2] When n = 2, it is easy to see why this is incorrect: (x + y)2 can be correctly computed as x2 + 2xy + y2 using distributivity (commonly known by students in the United States as the FOIL method). For larger positive integer values of n, the correct result is given by the binomial theorem.
The name "freshman's dream" also sometimes refers to the theorem that says that for a prime number p, if x and y are members of a commutative ring of characteristic p, then (x + y)p = xp + yp. In this more exotic type of arithmetic, the "mistake" actually gives the correct result, since p divides all the binomial coefficients apart from the first and the last, making all the intermediate terms equal to zero.
The identity is also actually true in the context of tropical geometry, where multiplication is replaced with addition, and addition is replaced with minimum.[3]
Examples
- <math>(1+4)^2 = 5^2 = 25</math>, but <math>1^2+4^2 = 17</math>.
- <math>\sqrt{x^2+y^2}</math> does not equal <math>\sqrt{x^2}+\sqrt{y^2}=|x|+|y|</math>. For example, <math>\sqrt{9+16}=\sqrt{25}=5</math>, which does not equal Шаблон:Nowrap. In this example, the error is being committed with the exponent Шаблон:Nowrap.
Prime characteristic
When <math>p</math> is a prime number and <math>x</math> and <math>y</math> are members of a commutative ring of characteristic <math>p</math>, then <math>(x+y)^p=x^p+y^p</math>. This can be seen by examining the prime factors of the binomial coefficients: the nth binomial coefficient is
- <math>\binom{p}{n} = \frac{p!}{n!(p-n)!}.</math>
The numerator is p factorial(!), which is divisible by p. However, when Шаблон:Nowrap, both n! and Шаблон:Nowrap are coprime with p since all the factors 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. A related theorem states that if p is prime then Шаблон:Nowrap in the polynomial ring <math>\mathbb{Z}_p[x]</math>. This theorem is a key fact in modern primality testing.[4]
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 Шаблон:Nowrap 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.[5] 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 graduate algebra textbook (1974), where he quotes McBrien.[6] Alternative terms include "freshman exponentiation", used in Fraleigh (1998).[7] The term "freshman's dream" itself, in non-mathematical contexts, is recorded since the 19th century.[8]
Since the expansion of Шаблон:Nowrap is correctly given by the binomial theorem, the freshman's dream is also known as the "child's binomial theorem"[4] or "schoolboy binomial theorem".
See also
References
- ↑ 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.
- ↑ Шаблон:Citation
- ↑ 4,0 4,1 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 (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
