Una condición necesaria y suficiente para que un espacio de Banach sea también un espacio de Hilbert es la identidad del paralelogramo: