Proving theorems about angles without angles10 Feb 2019
In several recent posts, I have been exploring a way of doing trigonometry using vectors and their various products while de-emphasizing angle measures and trigonometric functions.
In this system, triangles are represented as sets of three vectors that add to
The traditional law of cosines can be replaced with a vector equation that uses the dot product
the law of sines can be replaced with a vector equation that uses the wedge product
and rotations and reflections can be represented using geometric products of vectors. For vectors in the plane, the rotation of a vector Reminder on notation: in these posts, lower case latin letters like and represent vectors, greek letters like and represent real numbers such as lengths or angles, and represents a unit vector directed along , so that and . Juxtaposition of vectors represents their geometric product, so that is the geometric product between vectors and , and the geometric product is non-commutative, so the order of terms is important.through the angle between vectors and can be represented by right multiplying by the product
and the reflection ofin any vector can be represented as the “sandwich product”
Notice that none of these formulae make direct reference to any angle measures.
But without angle measures, won’t it be hard to state and prove theorems that are explicitly about angles?
Not really. Relationships between directions that can be represented by addition and subtraction of angle measures can be represented just as well using products and ratios of vectors with the geometric product. And the geometric product is better at representing reflections, which can sometimes provide fresh insights into familiar topics.
We’ll take as our example the inscribed angle theorem, because it is one of the simplest theorems about angles that doesn’t seem intuitively obvious (at least, it doesn’t seem obvious to me…).
The inscribed angle theorem says that every angle inscribed on a circle that subtends the same arc has the same angle measureTerminology: an inscribed angle of a circle is an interior angle of a triangle with 3 vertices lying on the circle’s circumference. Roughly speaking, an angle at a point subtends the things that you could see from the point if your field of view was limited to the given angle. In the figure, the blue inscribed angles all subtend the same purple arc.
and that a central angle that subtends the same arc as an inscribed angle has twice the angle measure as the inscribed angle:
Let’s first go over a traditional proof of the inscribed angle theorem to gain some familiarity. The key is to draw in one more radius of the circle to form a pair of isosceles triangles that share a leg
Terminology: an isosceles triangle is a triangle with two sides of equal length. The two equal length sides are called legs and the third side is called the base. The legs meet at the vertex and the interior angle at the vertex is the vertex angle. The interior angles formed by the base and each leg are the base angles.:
The two base angles of an isosceles triangle are equal, so we can label angles on the figure as follows:
whereand are base angles of two equilateral triangles, their sum, , is an inscribed angle on the circle, and are vertex angles of the isosceles triangles and also central angles of the circle, and is the central angle that subtends the same arc as the inscribed angle
The three central angles add up to a full turn
and the interior angles of the triangles each add up to a half turn (because interior angles of a triangle always add up to a half turn, ordegrees)
Adding the previous two expressions and re-arranging gives
and recognizing that the right hand side is equal togives
This proves the theoremTechnically, this only proves the second part of the theorem. See Appendix A. because the left hand side is twice the inscribed angle, and the right hand side is the corresponding central angle.
This proof depended on the theorem that the base angles of an isosceles triangle are equal. Do you remember how to prove this?
Here’s one way: drop a median from the vertex to the midpoint of the base:
This produces two triangles that are congruent because they have three equal sides, and the base angles are corresponding angles in these congruent triangles, so they are equal.
Do you remember why triangles with equal sets of side lengths are congruent? I find that it’s pretty easy to memorize facts like this but forget exactly why they must be trueIf you want to remember how Euclid did all these things, Nicholas Rougeux has published a gorgeous new online edition of Byrne’s Euclid. The distinctive feature of Byrne’s Euclid, originally published in 1847, is that it uses small color-coded pictograms throughout the text to reference diagrams instead of letters, which gives it an appealing concreteness.
Euclid actually proves that the base angles of an isosceles triangle are equal (proposition V) a different way without referencing the theorem that triangles with equal sides are congruent, and then later uses this theorem as part of the proof that triangles with equal sides are congruent (proposition VII and proposition VIII)..
Geometric algebra provides an interesting algebraic way to prove that the base angles of an isosceles triangle are equal, embedded as a special case of an equation that is true for all triangles. As usual, we begin with the condition that three vectors form a triangle
Left multiplying the triangle equation bygives
and alternatively, right multiplying bygives
Subtracting these two equations gives
and in the special case that the lengths ofand are equal so that the triangle is isosceles, the first term vanishes leaving
which is an equation for the equal rotations through the equal base angles, represented as products of unit vectors. and represent plane rotations through exterior angles; the corresponding interior angle rotations are and .
also allows solving for The ability to solve equations of products of vectors like this is one of the special advantages of geometric algebra.,in terms of and by multiplying on the right by
The right hand side is the sandwich product representation of the reflection of Recall that equality of vectors implies they have the same length and direction, but implies nothing about location; vectors are not considered to have a location, and may be freely translated without change.. This is a fact about isosceles triangles that I had not considered until doing this manipulation.in , so in words, this equation says that reflecting one of the leg vectors of an isosceles triangle across the base vector gives the remaining leg vector
With this preparation, we are ready to prove the inscribed angle theorem using geometric algebra.
Call chord vectors through a point on the circumference of a circleand , radius vectors subtending the corresponding central angle and , and the radius vector from the circle’s center to the shared point of the two chords .
Then the plane rotation through the central angle is
and we’re seeking a relationship between this rotation and the plane rotation through the inscribed angle,
We can summarize the geometrical content of these diagrams algebraically with two triangle equations and an equation expressing the equal lengths of the radius vectorsThere’s actually one other important piece of geometric information that isn’t spelled out in the algebra here. I’ll come back to this below.:
We can take the first triangle equation and perform a similar manipulation as we did above: left multiply by, separately right multiply by , and subtract the two results to give
The first term is zero because the lengths ofand are equal, so this becomes
and in terms of unit vectors this is
Similar reasoning for the second triangle gives
Making these substitutions in the central angle productgives
and the final line represents applying the rotation through the inscribed angle twice, which proves the inscribed angle theoremAgain, technically, this only proves the second part of the theorem. See Appendix A..
Let’s go through this manipulation line by line
- Substitute for and based on the fact that they are part of isosceles triangles that share a leg. The two negative signs will cancel one another.
- Re-associate the geometric product. The geometric product is associative, so the parentheses here serve only as a guide to the eye.
- Use the planarity conditionThis planarity condition is the “missing algebraic information” that I referred to above. On my first pass through this problem, it took me a while to connect this need to re-order three vectors to the fact that they lie in a single plane. In the plane, there is only one point that is equidistant from three given points, but in more dimensions there are more points that satisfy this condition. Consider: what does this set of points look like in 3D?, which says that the geometric product of any three vectors in the same plane equals its reverse, to reverse the parenthesized product of three vectors.
- Re-associate and use the fact that is a unit vector, so
- Collect identical products as a square.
The geometric product allowed us to exploit relationships between reflections and rotations that I typically wouldn’t think to see directly on a diagram, allowing the proof to be particularly concise.
Alternatively, it’s possible to mimic the original angle calculation a little more directly. Where we previously added internal angles of the triangles, we can instead multiply rotations to compose them:
Interpreting these rotations as internal or external angles requires a little bit of care about signs, but algebraically, the equations are true almost trivially by re-associating and canceling squares of unit vectors.
Next, we can apply equality of base angles by replacingwith and with :
In place of summing the equations for interior angles of two triangles, we can multiply these equations for compositions of rotations:
Products of pairs of vectors in the plane commute (in other words, rotations in the plane commute), so we can rearrange this in order to pair and cancel factors of
Now left multiplying bygives the desired result:
It has become customary in elementary geometry to identify relationships between directions with relationships between angles, and to identify angles with numerical angle measures. But this is not strictly necessaryIn classical Greek geometry, lengths and angles actually weren’t identified with numbers, likely at least in part due to the fact that lengths are often irrational and angles are often transcendental. Instead, length, angle, and number were treated as separate concepts with some similar relationships., and in this post, I have shown an example of how the same relationships between directions can instead be modeled by products and ratios of vectors without direct reference to numerical angle measures.
The vector approach has the advantage that the condition that three vectors form a triangle is very simple to write down,
whereas the condition that three lengths and three angles describe a triangle is somewhat more complicated, and is not typically written down in full.
This linear vector equation for a triangle makes it straightforward to derive classical relationships between lengths and angles in a triangle, which typically appear as quadratic equations in the vectors. These manipulations can usually be described in a phrase or two:
- Law of cosines: solve for c, square both sides
- Law of sines: form the wedge product of the triangle equation with one of the vectors, solve for one of the two non-zero terms
- Equal isosceles base angles (shown in this post): multiply on the left by one of the vectors and alternatively on the right by a different vector and subtract the two results; then two equal lengths imply two equal angles
An advantage of the vector model is that the relevant equations are algebraic in the vectors and their products, whereas they are transcendental in angle measures. So for example, the law of cosines in terms of angles,
is transcendental in the angle, whereas the vector equation
is algebraic in the corresponding vector product.
The catch, of course, is that these quadratic equations involve non-commutative products, and there is a definite learning curve to becoming comfortable with this. But in my experience, the effort is repaid along the way through the insight you gain from viewing familiar things from an unfamiliar perspective.
Thanks as usual to Jaime George for editing this post.
Being careful about what we have proved
Technically, we have only proved the second part of the inscribed angle theorem: a central angle that subtends the same arc as an inscribed angle is equal to the inscribed angle composed with itself:
which seems like it would imply the first part of the inscribed angle theorem, that all inscribed angles that subtend the same arc are equal,
but actually doesn’t. The technicality is that we have proved that the squares of the rotations through these inscribed angles are equal, but this leaves an ambiguity about the signEquating doubled angle measures has exactly the same ambiguity as equating the squares of rotations, though the ambiguity is perhaps easier to overlook at first glance.:
And in fact there are different inscribed angles that subtend different (but closely related) arcs that satisfy all the algebraic rules we wrote down (including planarity), but that do not describe equal rotations:
The unequal inscribed angle here subtends an equal chord but opposite arc as the other equal inscribed angles. The relationship between these angles is exactly the same as the relationship between interior and exterior angles, and equating squares of rotations (or doubled angle measures) leaves this distinction ambiguous.
I will sketch a way to distinguish these cases and prove the full theorem, without going into full detail.
Ifand are vectors from two points on a line to a given point not on the line, then the sign of the unit bivector
determines which side of the line the given point is on. Given equal squares of products of vectors,
then the products are equal if the corresponding unit bivectors are equal
and otherwise the products differ by a sign.
Then inscribed angles that subtend equal chords of a circle are equal when they lie on the same side of the subtended chord, or equivalently, when they also subtend the same arc.
A path not taken
I have to admit that my first attempt to analyze the inscribed angle theorem with vectors went down an unproductive path. I knew I wanted a relationship between a product of radius vectorsand chord vectors , and I had the triangle equations
so my first instinct was to solve the triangle equations forand , substitute into the product , and expand:
There’s nothing wrong with the algebra here, but it just isn’t very productive. We now have a sum of 4 terms that is hard to interpret geometrically. Since the right hand side that we’re seeking,, is a monomial, we would have to eventually factor the sum on the right hand side, and factoring is difficult—especially when dealing with multiple non-commuting variables as we are here.
This mis-step is worth discussing because it is an example of a pattern that turns out to be pretty common when using geometric algebra to analyze geometry problems. When presented with a product of sums, it is a natural instinct to try expanding into a sum of products. This is sometimes productive, but it introduces a few issues:
- It is often harder to interpret a sum of many different products geometrically than it is to interpret a single product
- Expanding products can rapidly (exponentially) increase the total number of terms
- Simplifying sums of products often requires factoring, and factoring is hard
For this reason, a useful heuristic is to prefer using commutation relationships (e.g. between parallel or perpendicular vectors, or between vectors that all lie in a single plane) to re-arrange a geometric product. When it works, this is better than expanding products, hoping that some terms will cancel, and then attempting to factor the result. When it is necessary to expand a product, it can be useful to expand as few terms as possible and then try to factor again before further expansions in preference to expanding the entire product at onceHongbo Li elaborates this idea extensively in his book. For a briefer introduction, see this paper or these tutorial slides..