Analyzing the Setup
Consider a triangle △ABC with vertices A(x1,y1), B(x2,y2), and C(x3,y3) on a coordinate plane. Our objective is to prove that the three altitudes of this triangle are concurrent at a single point, known as the Orthocenter.
To begin, we determine the equation of the altitude dropped from vertex A to the side BC. First, we calculate the slope of the base BC using the two-point form:
Deriving the Altitude Equation
Since the altitude from A is perpendicular to BC, the product of their slopes must be −1. Consequently, the slope of the altitude (malt) is the negative reciprocal of mBC:
Using the point-slope form y−y1=malt(x−x1), we substitute our slope to obtain:
y−y1=−y2−y3x2−x3(x−x1)
By cross-multiplying the denominator and rearranging the terms, we arrive at the equation for the first altitude, L1:
(x−x1)(x2−x3)+(y−y1)(y2−y3)=0
Applying Cyclic Symmetry
We do not need to repeat this derivation for the remaining altitudes. Due to the cyclic symmetry of the triangle's vertices, we can obtain the equations for L2 and L3 by performing a cyclic permutation of the indices (1→2, 2→3, 3→1):
L2:(x−x2)(x3−x1)+(y−y2)(y3−y1)=0
L3:(x−x3)(x1−x2)+(y−y3)(y1−y2)=0
The Proof of Concurrency
To prove that these three lines are concurrent, we examine their sum. If the sum of the three equations is identically zero, it implies that any point satisfying two of the equations must necessarily satisfy the third.
Summing the x-terms:
x(x2−x3)+x(x3−x1)+x(x1−x2)=x(x2−x3+x3−x1+x1−x2)=x(0)=0
The y-terms follow the same pattern:
y(y2−y3)+y(y3−y1)+y(y1−y2)=y(y2−y3+y3−y1+y1−y2)=y(0)=0
Finally, the constant terms also cancel out in pairs. We are left with the identity:
This identity confirms that the three altitudes are concurrent, as the third line is a linear combination of the first two. This elegant algebraic approach demonstrates the power of cyclic symmetry in solving geometric problems.