שינויים
/* כפל בסקלר */
===כפל בסקלר===
עלינו להוכיח כי:
<math>\langle (a+bi)x,y\rangle = (a+bi)\langle x,y\rangle</math>
מהאדטיביות אנו יודעים כי
<math>\langle (a+bi)x,y\rangle = \langle ax,y\rangle+\langle bix,y\rangle</math>
בעזרת הוכחה זהה למקרה הממשי, ניתן להסיק כי לכל <math>c\in\mathbb{R}</math> מתקיים כי <math>\langle cx,y\rangle = c\langle x,y\rangle</math>.
ולכן נקבל כי
<math>\langle ax,y\rangle = a\langle x,y\rangle</math>
וכן
<math>\langle bix,y\rangle = b\langle ix,y\rangle</math>
לכן כל שנותר לנו להוכיח הוא כי
<math>\langle ix,y\rangle = i\langle x,y\rangle</math>