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