Fermat point

From Wikipedia, the free encyclopedia

Construction for the fermat point.

In geometry, the Fermat point, also called Torricelli point, and first isogonic center, is the solution to the problem of finding a point F inside a triangle ABC such that the total distance from the three vertices to point F is the minimum possible. It is so named because this problem is first raised by Fermat in a private letter.

1 Construction
2 Derivation
3 Proof
4 Properties
5 History
6 See also
7 External links

[edit] Construction

To locate the Fermat point:

Construct three regular triangles out of the three sides of the given triangle.
For each new vertex of the regular triangle, draw a line from it to the opposite triangle's vertex.
These three lines intersect at the Fermat points.

For the case that the largest angle of the triangle exceeds 120°, the solution is a point on the vertex of that angle.

[edit] Derivation

One of the solution to find fermat point.

Since the time the problem first appeared, many methods to arrive at the solution has been developed. One method is to simply rotate BEC, where E is an arbitrary point, 60º anti-clockwise. Now the distance to minimize is the same as the path AEE'C'. Obviously the solution is when it is a straight line, from which the construction method can be derived.

[edit] Proof

This proof will show that the three lines are concurrent. One proof, using properties of concyclic points, is as follows:

Suppose RC and BQ intersect at F, and two lines, AF and AP, are drawn. We aim to prove that AFP is a straight line.

Because AR = AB and AC = AQ by construction,

$\angle RAC = \angle RAB + \angle BAC$

$\angle BAQ = \angle BAC + \angle CAQ$

Since $\angle RAB$ and $\angle CAQ$ equal 60º, which are interior angles of an equilateral triangle, $\angle RAC = \angle BAQ$ . This implies that triangles RAC and BAQ are congruent. Hence $\angle ARF = \angle ABF$ and $\angle AQF = \angle ACF$ . By converse of angle in the same segment, ARBF and AFCQ are both concyclic.

Thus $\angle AFB = \angle AFC = \angle BFC = 120$ º. Because $\angle BFC$ and $\angle BPC$ add up to 180º, BPCF is also concyclic. Hence $\angle BFP = \angle BCP = 60$ º. Because $\angle BFP + \angle BFA = 180$ º, AFP is a straight line.

Q.E.D.

[edit] Properties

Proof that the lines are concurrent and their properties.

In case the largest angle of the triangle is not larger than 120º, the point minimize the total distance from the three vertex to this point.
The internal angle brought about by this point, that is, $\angle AFB$ , $\angle BFC$ , and $\angle CFA$ , are all equals to 120º.
The circumcircles of the three regular triangles in the construction interset at this point.
The triangle formed by joining the centers of the three regular triangles in the construction is also a regular triangle(Napoleon's theorem), and the circumcenter of this triangle is the fermat point of the original triangle.

Trilinear coordinates for the 1st Fermat point, X(13):

csc(A + π/3) : csc(B + π/3) : csc(C + π/3), or, equivalently,

sec(A - π/6) : sec(B - π/6) : sec(C - π/6).

Trilinear coordinates for the 2nd Fermat point, X(14):

csc(A - π/3) : csc(B - π/3) : csc(C - π/3), or, equivalently,

sec(A + π/6) : sec(B + π/6) : sec(C + π/6).

The isogonal conjugate of the 1st Fermat point is the 1st isodynamic point, X(15):

sin(A + π/3) : sin(B + π/3) : sin(C + π/3).

The isogonal conjugate of the 2nd Fermat point is the 2nd isodynamic point, X(16):

sin(A - π/3) : sin(B - π/3) : sin(C - π/3).

The following triangles are equilateral:

antipedal triangle of X(13)

antipedal triangle of X(14)

pedal triangle of the X(15)

pedal triangle of the X(16)'

circumcevian triangle of X(15)

circumcevian triangle of X(16)

The lines X(13)X(15) and X(14)X(16) are parallel to the Euler line. The three lines meet at the Euler infinity point, X(30).
The 1st Fermat point, 2nd Fermat point, circumcenter, nine-point center lie on a Lester circle.

[edit] History

This question was proposed by Fermat, as a challenge to Evangelista Torricelli. He solved the problem in a similar way to Fermat's, albeit using intersection of the circumcircles of the three regular triangle instead. His pupil, Viviani, published the solution in 1659.