שינויים
/* אי שליליות */
===אי שליליות===
נבצע מכפלה פנימית בין וקטור לעצמו
<math>\langle x,x\rangle = \frac{||x+x||^2 -||x-x||^2}{4} + i\cdot \frac{||x+ix||^2 -||x-ix||^2}{4}</math>
נפתח את החלק הממשי:
<math>\frac{||x+x||^2 -||x-x||^2}{4} = \frac{||2x||^2 }{4} = \frac{4||x||^2}{4}=||x||^2</math>
לגבי החלק המדומה, נשים לב כי
<math>||x+ix||^2 = ||(1+i)x||^2 = |1+i|^2 ||x||^2 = 2||x||^2</math>
וכן
<math>||x-ix||^2 = ||(1-i)x||^2 = |1-i|^2 ||x||^2 = 2||x||^2</math>
וסה"כ החלק המדומה מתאפס
<math>\frac{||x+ix||^2 -||x-ix||^2}{4}=0</math>
(הערה: אפשר היה גם להסיק שהחלק המדומה מתאפס בזכות ההרמיטיות.)
סה"כ קיבלנו כי
<math>\langle x,x\rangle = ||x||^2 </math>
ומתכונות הנורמה אנו יודעים כי ביטוי זה אינו שלילי, ומתאפס אם ורק אם <math>x=0</math>.
לבסוף, נשים לב כי גילינו כי <math>||x||=\sqrt{\langlex,x\rangle}</math>, כלומר הנורמה של המרחב מושרית מהמכפלה הפנימית שיצרנו.