Transitivity in Action
Transitivity in mathematics is a property of relationships in which objects of a similar nature may stand to each other. If whenever object A is related to B and object B is related to C, then the relation at hand is transitive provided object A is also related to C. Being a sibling is a transitive relationship, being a parent is not.
If a line l1 is perpendicular to another line l2 (the mathematical notation for which is
Transitivity of one relation is so natural that Euclid stated it as the first of his Common Notions
Things which are equal to the same thing are also equal to one another.
In mathematical notations: if A = B and B = C, then necessarily
In passing, the veracity of the statement "I am I" is abstracted in mathematics into another property of equality: reflexivity,
From Ceva's Theorem we know that some lines in a triangle meet at a point. Here I am going to establish those facts by a more conventional means - using the transitivity of equality. In the standard notations,
- Angle bisectors ALa, BLb, and CLc divide respectively angles A, B, and C into two equal parts.
- Perpendicular bisectors are erected at the midpoints Ma, Mb, and Mc perpendicular to the corresponding sides.
- Altitudes AHa, BHb, CHc are perpendicular to the sides BC, AC, and AB, respectively, and pass through the opposite vertex of the triangle.
- Medians AMa, BMb, CMc connect the vertices with midpoints of the opposing sides.
You may check out those lines and some others with an applet.
Each family of lines consists of loci of points that satisfy certain conditions. The word locus (plural loci) in geometry substitutes for the word set used in other branches of mathematics.
The bisector ALa (or rather the whole line to which ALa belongs) is the locus of points equidistant from the two lines bb and cc defined by the sides AC and AB of ΔABC. In other words,
(More accurately, the locus of points equidistant from two intersecting lines consists of two perpendicular lines. In a triangle, we thus have 4 associated points: 1 incenter and 3 excenters. To get resricted to a single point - the incenter - we should have considered the angles of the triangle as defined by semi-infinite lines - rays.)
The perpendicular bisector, say pba, through the point Ma is the locus of points equidistant from points B and C:
Point O is equidistant from all three vertices. Thus it serves as the circumcenter of the triangle, the center of the circle (the circumcircle) that passes through all three vertices.
The case of altitudes reduces to the case of perpendicular bisectors with the following trick. Through each vertex draw a line parallel to the opposite side. These three lines form a triangle, A'B'C'. Altitudes of ΔABC serve as the perpendicular bisectors of ΔA'B'C'. Q.E.D.
To prove that the three medians intersect at a point, I refer to the notion of barycentric coordinates. For a given ΔABC, every point in the plane is associated with the unique triple
As an additional example, here is another proof of the fact that three chords formed by three intersecting circles meet at a point.
In the plane, a circle SR(C) with radius R and center C is defined as the locus of points located at distance R from C:
Pow(P, S) = (x - a)² + (y - b)² - R²
Points with positive power lie outside the circle, those with negative power lie inside. The circle itself is the locus of points with zero power. Points that have the same power with respect to a circle lie on a concentric circle.
Let there be two nonconcentric circles (i.e., circles with different centers) S1 = SR1(C1) and S2 = SR2(C2). Then the locus of points that have the same power with respect to both circles is a straight line perpendicular to the center line C1C2. Using (1) we express
(x - a1)² + (y - b1)² - R1² = (x - a2)² + (y - b2)² - R2²
Obviously the square terms cancel out leaving a linear equation - an equation of a straight line. This straight line is called the radical axis of the two circles. The easiest way to see that the radical axis is perpendicular to the center line is to choose the coordinates so as to make the centers lie on the x-axis.
Let now two circles S1 and S2 intersect at two points. Power of a point on a circle being 0, the two points of intersection of S1 and S2 obviously lie on the radical axis of the two circles. Therefore, the radical axis of two intersecting circles is the straight line that passes through their points of intersection. The problem of the three common chords then simply asserts that the pairwise radical axes of three intersecting circles meet at a point. This is the point that has the same power with respect to all three circles. From the foregoing discussion on transitivity, this is obvious, however, that, for any three circles not necessarily intersecting, the three radical axes meet at a point. The only restriction is that no two circles are concentric. The point is known as the radical center of the three circle. (There is a construction problem that is easily solved with the notion of radical center.)
(The idea of radical axis may also be introduced via the stereographic projection.)
Also, in any triangle, antiparallels to the sides adjacent to a vertex that cross on the symmedian through this vertex are equal. By transitivity then, the three antiparallels through the symmedian (Lemoine) point are equal.
Copyright © 1996-2018 Alexander Bogomolny