On the sum of the angles between three vectors
Iosif Pinelis

TL;DR
This paper provides a necessary and sufficient condition for the sum of the angles between three vectors in 2 to be 244, generalizing Euclid's theorem on the interior angles of triangles.
Contribution
It introduces a new condition characterizing when three vectors' pairwise angles sum to 24, extending Euclid's theorem to a vector angle context.
Findings
Characterization of when three vectors' angles sum to 24
Proof of Euclid's theorem as a special case
Reduction to angle multiples of 4 and betweenness relations
Abstract
For any three nonzero vectors in , we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal . As an easy consequence of this, a proof of Euclid's theorem that the sum of the interior angles of any triangle is is provided. So, the main result of this note can be considered a generalization of Euclid's theorem. To a large extent, the consideration is reduced almost immediately to a choice for the sum of three related angles among the three integer multiples of . The rest of the consideration concerns only various betweenness relations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
