ThmDex – An index of mathematical definitions, results, and conjectures.
Real binomial theorem for exponent four
Formulation 0
Let $a, b \in \mathbb{R}$ each be a D993: Real number.
Then \begin{equation} \begin{split} (a + b)^4 = a^4 + 4 a^3 b + 6 a^2 b^2 + 4 a b^3 + b^4 \end{split} \end{equation}
Proofs
Proof 0
Let $a, b \in \mathbb{R}$ each be a D993: Real number.
This result is a particular case of R2788: Real binomial theorem. $\square$