A

binomial is a mathematical expression with two terms, say

*x* and

*y*. The simplest binomial is the sum of those two terms

*x+y*. Powers of this binomial (

*x+y*)

^{n} are ruled by the so-called

binomial theorem, which states that the coefficients of the expansion terms

*x*^{p}y^{q} are given by the

Pascal triangle entries. So we have:

(

*x+y*)

^{0} =

1
(

*x+y*)

^{1} =

1.

*x* +

1.

*y*
(*x+y*)^{2} = 1.*x*^{2}+ 2.*xy* + 1.*y*^{2}

(*x+y*)^{3} = 1.*x*^{3}+ 3.*x*^{2}*y* + 3.*x**y*^{2} + 1.*y*^{3}

(

*x+y*)

^{4} =

1.

*x*^{4}+

4.

*x*^{3}y +

6.

*x*^{2}*y*^{2} +

4.

*x**y*^{3} +

1.

*y*^{4}
and so forth ...

But where do these coefficients come from? You can just be satisfied by the result algebraic calculation, or you could look for geometric representations. For instance, a

nice geometric explanation is given at the

www.mathaware.org site.

For the second degree binomial, the Pascal triangle entries emerge naturally as the number of squares or rectangles with area given by the expansion terms

*x*^{p}y^{q}. For third degree binomials, they emerge as the number of cubes or parallelepipeds with volume given by the expansion terms. And for higher degree binomials, they emerge as the number of

hypercubes and hyperparallelepipeds given by the expansion terms, so an Euclidean geometric representation for those higher degree binomials seems impossible.

This suggested impossibility prompted me to have a closer look at geometric representations of binomial expansions. As a matter of fact a number to the fourth power

*x*^{4} is just a number, but it is also a square

*x*^{4} = (

*x*^{2})

^{2}. And there is no impossibility in representing numbers and squares geometrically, so the suggested impossibility is only an impossibility along the common line of thought, which sees cubic expansions as volumes. Along another line of thought, which seems to have been unnoticed, cubic expansions can be seen as areas, and then geometric representations of higher degree binomials become possible. The following figures illustrate this fact for the special case where

*x+y* is normalized to 1 (for arbitrary

*x+y*, one just has to rescale the figure each time, the pattern remains the same).

For the binomial (

*x+y*)

^{1} =

1.

*x* +

1.

*y*, we can divide a unit square into two rectangles,

one rectangle of area

*x* and

one rectangle of area

*y*, see Figure 1.

For the binomial (

*x+y*)

^{2} =

1.

*x*^{2}+

2.

*xy* +

1.

*y*^{2}, we can divide the unit square into two squares,

one of area

*x*^{2} and

one of area

*y*^{2}, plus

two rectangles of area

*xy*, see Figure 2.

For the binomial (

*x+y*)

^{3} =

1.

*x*^{3}+

3.

*x*^{2}*y* +

3.

*x**y*^{2} +

1.

*y*^{3}, we can divide each of the previous squares and rectangles into proportions

*x* and

*y*, giving

eight rectangles,

one of area

*x*^{3},

one of area

*y*^{3}, plus

three rectangles of area

*x*^{2}*y* and

three rectangles of area

*x**y*^{2}, see Figure 3.

For the binomial (

*x+y*)

^{4} =

1.

*x*^{4}+

4.

*x*^{3}y +

6.

*x*^{2}*y*^{2} +

4.

*x**y*^{3} +

1.

*y*^{4}, we can again divide each of the previous squares and rectangles into proportions

*x* and

*y*, giving

one square of area

*x*^{4},

one of area

*y*^{4}, four squares and two rectangles (giving

six) of area

*x*^{2}*y*^{2},

four rectangles of area

*x*^{3}*y* and

four rectangles of area

*x**y*^{3}, see Figure 4.

And we could go further indefinitely, doodling areas of incrementing powers, just in 2D, without any reference to unintuitive hyperspaces.