הוכחת טענות גיאומטריות בעזרת המכפלה הסקלרית