Square of Sum with Double/Algebraic Proof 1

Theorem

 * $\forall a, b \in \R: \left({a + 2 b}\right)^2 = a^2 + 4 a b + 4b^2$

Proof
Follows from the distribution of multiplication over addition: