יש להראות שאחד מחוקי המכפלה הפנימית לא מתקיים. אפשר לעשות את זה על ידי דוגמא נגדית לחוק שלא מתקיים בעזרת מספרים מרוכבים
===שאלה===
ארז - האם קיים חוק שאומר : לכל v שונה מאפס מתקיים ש:
<v,v> גדול מאפס? (גדול ממש)
===תשובה==
כן, חוק אי שליליות אומר ש <math><v,v>\geq 0</math> ושיוויון מתקיים <math> v=0 \iff</math>. במילים אחרות, אם <math>v\neq 0</math> אזי <math><v,v>>o</math> ממש
==שאלה==
האם מותר לי להשתמש בשעורי הבית בכל המשפטים שנלמדו בהרצאה? (בהנחה שלא מבקשים להוכיח אותם)