Para demostrar que la identidad del paralelogramo implica que la forma definida por la identidad de polarización es verdaderamente un producto interior, uno verifica algebraicamente que esta forma es aditiva, de donde, se sigue por inducción que la forma es lineal sobre los enteros y racionales.