Real Multiplication Distributes over Addition

Theorem
The operation of multiplication on the set of real numbers $\R$ is distributive over the operation of addition:
 * $\forall x, y, z \in \R:$
 * $x \times \left({y + z}\right) = x \times y + x \times z$
 * $\left({y + z}\right) \times x = y \times x + z \times x$

Proof
From the definition, the real numbers are the set of all equivalence classes $\left[\!\left[{\left \langle {x_n} \right \rangle}\right]\!\right]$ of Cauchy sequences of rational numbers.

Let $x = \left[\!\left[{\left \langle {x_n} \right \rangle}\right]\!\right], y = \left[\!\left[{\left \langle {y_n} \right \rangle}\right]\!\right], z = \left[\!\left[{\left \langle {z_n} \right \rangle}\right]\!\right]$, where $\left[\!\left[{\left \langle {x_n} \right \rangle}\right]\!\right]$, $\left[\!\left[{\left \langle {y_n} \right \rangle}\right]\!\right]$ and $\left[\!\left[{\left \langle {z_n} \right \rangle}\right]\!\right]$ are such equivalence classes.


 * From the definition of real multiplication, $x \times y$ is defined as $\left[\!\left[{\left \langle {x_n} \right \rangle}\right]\!\right] \times \left[\!\left[{\left \langle {y_n} \right \rangle}\right]\!\right] = \left[\!\left[{\left \langle {x_n \times y_n} \right \rangle}\right]\!\right]$;
 * From the definition of real addition, $x + y$ is defined as $\left[\!\left[{\left \langle {x_n} \right \rangle}\right]\!\right] + \left[\!\left[{\left \langle {y_n} \right \rangle}\right]\!\right] = \left[\!\left[{\left \langle {x_n + y_n} \right \rangle}\right]\!\right]$.

Thus:

By Real Addition is Commutative and Real Multiplication is Commutative, it follows that $\left({y + z}\right) \times x = \left({y \times x}\right) + \left({z \times x}\right)$

Geometric Proof
As Euclid put it:


 * "If there be two straight lines, and one of them be cut into any number of segments whatever, the rectangle contained by the two straight lines is equal to the rectangles contained by the uncut straight line and each of the segments."


 * Euclid-II-1.png

Let $A$ and $BC$ be two straight lines.

Let $BC$ be cut at random at points $D$ and $E$.

Then the rectangle contained by $A$ and $BC$ is equal to the sum of the rectangles contained by $A$ and $BD$, by $A$ and $DE$, and by $A$ and $EC$, as follows:

Construct $BF$ perpendicular to $BC$.

Construct $BG$ on $BF$ equal to $A$.

Construct $GH$ through $G$ parallel to $BC$.

Construct $DK, EL, CH$ through $D, E, C$ parallel to $BG$.

Then we have that $\Box BCHG = \Box BDKG + \Box DELK + \Box ECHL$.

Now $\Box BCHG$ is the rectangle contained by $A$ and $BC$, because it is contained by $BC$ and $BG$, and $BG = A$.

Similarly, from Opposite Sides and Angles of Parallelogram are Equal:
 * $\Box BDKG$ is the rectangle contained by $A$ and $BD$, because it is contained by $BD$ and $BG = A$;
 * $\Box DEKL$ is the rectangle contained by $A$ and $DE$, because it is contained by $DE$ and $DK$, and $DK = A$;
 * $\Box ECHL$ is the rectangle contained by $A$ and $EC$, because it is contained by $EC$ and $EL$, and $EL = A$.

Hence the result.