הוכחת טענות בטריגונומטריה באמצעות וקטורים