Another Proof
Another approach to find a point within the triangle, from where sum of the distances to the vertices of triangle is minimum, is to use one of the optimization (mathematics) methods. In particular, method of the lagrange multipliers and the law of cosines.
We draw lines from the point within the triangle to its vertices and call them X, Y and Z. Also, let the lengths of these lines be x, y, and z, respectively. Let the acute angle between X and Y be α, Y and Z be β. Then the angle between X and Z is (2π − α − β). Using the method of lagrange multipiers we have to find the minimum of the lagrangian, which is expressed as:
- x + y + z +
- λ1 (x2 + y2 − 2xy cos(α) − a2) +
- λ2 (y2 + z2 − 2yz cos(β) − b2) +
- λ3 (z2 + x2 − 2zx cos(α + β) − c2) .
where a, b and c are the lengths of the sides of the triangle.
Calculating the partial derivatives δ/δx, δ/δy, δ/δz, δ/δα, δ/δβ gives a system of 5 equations:
- δ/δx: 1 + λ1(2x − 2y cos(α)) + λ3(2x − 2z cos(α + β)) = 0
- δ/δy: 1 + λ1(2y − 2x cos(α)) + λ2(2y − 2z cos(β)) = 0
- δ/δz: 1 + λ2(2z − 2y cos(β)) + λ3(2z − 2x cos(α + β)) = 0
- δ/δα: λ1y sin(α) + λ3z sin(α + β) = 0
- δ/δβ: λ2y sin(β) + λ3x sin(α + β) = 0
After some algebraic manipulations equations for α and β separate from the rest of the parameters, giving:
- sin(α) = sin(β)
- sin(α + β) = −sin(β)
that gives: α = β = 120°
Q.E.D.
Note: if one of the vertices of triangle has angle not less than 120°, then the Fermat point is at that vertex.
Read more about this topic: Fermat Point
Famous quotes containing the word proof:
“The chief contribution of Protestantism to human thought is its massive proof that God is a bore.”
—H.L. (Henry Lewis)
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other twoa proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (16941773)