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