The **freshman's dream** is a name sometimes given to the erroneous equation (*x* + *y*)^{n} = *x*^{n} + *y*^{n}, where *n* is a real number (usually a positive integer greater than 1). Beginning students commonly make this error in computing the power of a sum of real numbers. When *n* = 2, it is easy to see why this is incorrect: (*x* + *y*)^{2} can be correctly computed as *x*^{2} + 2*xy* + *y*^{2} using distributivity (or commonly known as the FOIL method). For larger positive integer values of *n*, the correct result is given by the binomial theorem.

## Contents

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} = *x*^{p} + *y*^{p}. 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

*n*= 1/2.

## 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} = *x*^{p} + *y*^{p}. This can be seen by examining the prime factors of the binomial coefficients: the *n*th binomial coefficient is

The numerator is *p* factorial, which is divisible by *p*. However, when 0 < *n* < *p*, neither *n*! nor (*p* − *n*)! 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 *n*th binomial coefficient is divisible by *p* and hence equal to 0 in the ring. We are left with the zeroth and *p*th 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 a number *n* is prime then (*x* + 1)^{n} ≡ *x ^{n}* + 1 (mod

*n*) in the polynomial ring

## 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} = *a*^{2} + *b*^{2} 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. 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. Alternative terms include "**freshman exponentiation**", used in Fraleigh (1998). The term "freshman's dream" itself, in non-mathematical contexts, is recorded since the 19th century.

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**" or "**schoolboy binomial theorem**".