<math>\frac{||ix+iy||^2 - ||ix-iy||^2}{4} = \frac{||x+y||^2 -||x-y||^2 }{4}</math>
נכפול כמובן ב4 את המשוואות, ונתחיל לטפל במשוואה הראשונה:
<math>||ix+y||^2 -||ix-y||^2 = ||i(x-iy)||^2 -||i(x+iy)||^2 = </math>
<math>=(|i|\cdot ||x-iy||)^2 - (|i|\cdot ||x+iy||)^2 =-(||x+iy||^2 -||x-iy||^2)</math>
בדיוק כפי שהיינו צריכים להוכיח.
באופן דומה נטפל במשוואה השנייה
<math>||ix+iy||^2 - ||ix-iy||^2 = ||i(x+y)||^2 - ||i(x-y)||^2 =||x+y||^2 -||x-y||^2</math>
בדיוק כפי שהיינו צריכים להוכיח.
===הרמיטיות===