Edit filter log

'{{Short description|Triangle center minimizing sum of distances to each vertex}} [[Image:Fermat Point.svg|thumb|right|300px|Fig 1. Construction of the first isogonic center, X(13). When no angle of the triangle exceeds 120°, this point is the Fermat point.]] In [[Euclidean geometry]], the '''Fermat point''' of a [[triangle]], also called the '''Torricelli point''' or '''Fermat–Torricelli point''', is a point such that the sum of the three distances from each of the three vertices of the triangle to the point is the smallest possible<ref>[http://www.cut-the-knot.org/Generalization/fermat_point.shtml Cut The Knot - The Fermat Point and Generalizations]</ref> or, equivalently, the [[geometric median]] of the three vertices. It is so named because this problem was first raised by [[Pierre de Fermat|Fermat]] in a private letter to [[Evangelista Torricelli]], who solved it. The Fermat point gives a solution to the [[geometric median]] and [[Steiner tree problem]]s for three points. == Construction == The Fermat point of a triangle with largest angle at most 120° is simply its '''first isogonic center''' or '''X(13)'''{{cn|date=November 2023}}, which is constructed as follows: # Construct an [[equilateral triangle]] on each of two arbitrarily chosen sides of the given triangle. # Draw a line from each new [[Vertex (geometry)|vertex]] to the opposite vertex of the original triangle. # The two lines intersect at the Fermat point. An alternative method is the following: # On each of two arbitrarily chosen sides, construct an [[isosceles triangle]], with base the side in question, 30-degree angles at the base, and the third vertex of each isosceles triangle lying outside the original triangle. # For each isosceles triangle draw a circle, in each case with center on the new vertex of the isosceles triangle and with radius equal to each of the two new sides of that isosceles triangle. # The intersection inside the original triangle between the two circles is the Fermat point. When a triangle has an angle greater than 120°, the Fermat point is sited at the obtuse-angled vertex. In what follows "Case 1" means the triangle has an angle exceeding 120°. "Case 2" means no angle of the triangle exceeds 120°. ==Location of X(13)== [[Image:Fermat Point Proof.svg|thumb|right|300px|Fig 2. Geometry of the first isogonic center.]] Fig. 2 shows the equilateral triangles {{math|△''ARB'', △''AQC'', △''CPB''}} attached to the sides of the arbitrary triangle {{math|△''ABC''}}. Here is a proof using properties of [[concyclic points]] to show that the three lines {{mvar|RC, BQ, AP}} in Fig 2 all intersect at the point {{mvar|F}} and cut one another at angles of 60°. The triangles {{math|△''RAC'', △''BAQ''}} are [[Congruence (geometry)|congruent]] because the second is a 60° rotation of the first about {{mvar|A}}. Hence {{math|1=∠''ARF'' = ∠''ABF''}} and {{math|1=∠''AQF'' = ∠''ACF''}}. By the converse of the [[Inscribed angle|inscribed angle theorem]] applied to the segment {{mvar|{{overline|AF}}}}, the points {{mvar|ARBF}} are [[concyclic points|concyclic]] (they lie on a circle). Similarly, the points {{mvar|AFCQ}} are concyclic. {{math|1=∠''ARB'' = 60°}}, so {{math|1=∠''AFB'' = 120°}}, using the [[Inscribed angle#Applications|inscribed angle theorem]]. Similarly, {{math|1=∠''AFC'' = 120°}}. So {{math|1=∠''BFC'' = 120°}}. Therefore, {{math|1=∠''BFC'' + ∠''BPC'' = 180°}}. Using the [[Inscribed angle#Applications|inscribed angle theorem]], this implies that the points {{mvar|BPCF}} are concyclic. So, using the [[Inscribed angle|inscribed angle theorem]] applied to the segment {{mvar|{{overline|BP}}}}, {{math|1=∠''BFP'' = ∠''BCP'' = 60°}}. Because {{math|1=∠''BFP'' + ∠''BFA'' = 180°}}, the point {{mvar|F}} lies on the line segment {{mvar|{{overline|AP}}}}. So, the lines {{mvar|RC, BQ, AP}} are [[Concurrent lines|concurrent]] (they intersect at a single point). [[Q.E.D.]] This proof applies only in Case 2, since if {{math|∠''BAC ''> 120°}}, point {{mvar|A}} lies inside the circumcircle of {{math|△''BPC''}} which switches the relative positions of {{mvar|A}} and {{mvar|F}}. However it is easily modified to cover Case 1. Then {{math|1=∠''AFB'' = ∠''AFC'' = 60°}} hence {{math|1=∠''BFC'' = ∠''AFB'' + ∠''AFC'' = 120°}} which means {{mvar|BPCF}} is concyclic so {{math|1=∠''BFP'' = ∠''BCP'' = 60° = ∠''BFA''}}. Therefore, {{mvar|A}} lies on {{mvar|FP}}. The lines joining the centers of the circles in Fig. 2 are perpendicular to the line segments {{mvar|{{overline|AP}}, {{overline|BQ}}, {{overline|CR}}}}. For example, the line joining the center of the circle containing {{math|△''ARB''}} and the center of the circle containing {{math|△''AQC''}}, is perpendicular to the segment {{mvar|{{overline|AP}}}}. So, the lines joining the centers of the circles also intersect at 60° angles. Therefore, the centers of the circles form an equilateral triangle. This is known as [[Napoleon's Theorem]]. ==Location of the Fermat point== ===Traditional geometry=== [[Image:Fermat Point Scope.svg|thumb|right|300px|Fig 3. Geometry of the Fermat point]] Given any Euclidean triangle {{math|△''ABC''}} and an arbitrary point {{mvar|P}} let <math>d(P) = |PA|+|PB|+|PC|.</math> The aim of this section is to identify a point {{math|''P''{{sub|0}}}} such that <math>d(P_0)<d(P)</math> for all <math>P\ne P_0.</math> If such a point exists then it will be the Fermat point. In what follows {{math|Δ}} will denote the points inside the triangle and will be taken to include its boundary {{math|Ω}}. A key result that will be used is the dogleg rule, which asserts that if a triangle and a polygon have one side in common and the rest of the triangle lies inside the polygon then the triangle has a shorter perimeter than the polygon: :If {{mvar|{{overline|AB}}}} is the common side, extend {{mvar|{{overline|AC}}}} to cut the polygon at the point {{mvar|X}}. Then the polygon's perimeter is, by the [[triangle inequality]]: :<math>\text{perimeter} > |AB|+|AX|+|XB| = |AB|+|AC|+|CX|+|XB| \geq |AB|+|AC|+|BC|.</math> Let {{mvar|P}} be any point outside {{math|Δ}}. Associate each vertex with its remote zone; that is, the half-plane beyond the (extended) opposite side. These 3 zones cover the entire plane except for {{math|Δ}} itself and {{mvar|P}} clearly lies in either one or two of them. If {{mvar|P}} is in two (say the {{mvar|B}} and {{mvar|C}} zones’ intersection) then setting <math>P' = A</math> implies <math>d(P')=d(A)<d(P)</math> by the dogleg rule. Alternatively if {{mvar|P}} is in only one zone, say the {{mvar|A}}-zone, then <math>d(P')<d(P)</math> where {{mvar|P'}} is the intersection of {{mvar|AP}} and {{mvar|BC}}. So '''for every point {{mvar|P}} outside {{math|Δ}} there exists a point {{mvar|P'}} in {{math|Ω}} such that''' <math>d(P')<d(P).</math> '''Case 1. The triangle has an angle ≥ 120°.''' Without loss of generality, suppose that the angle at {{mvar|A}} is ≥ 120°. Construct the equilateral triangle {{math|△''AFB''}} and for any point {{mvar|P}} in {{math|Δ}} (except {{mvar|A}} itself) construct {{mvar|Q}} so that the triangle {{math|△''AQP''}} is equilateral and has the orientation shown. Then the triangle {{math|△''ABP''}} is a 60° rotation of the triangle {{math|△''AFQ''}} about {{mvar|A}} so these two triangles are congruent and it follows that <math>d(P)=|CP|+|PQ|+|QF|</math> which is simply the length of the path {{mvar|CPQF}}. As {{mvar|P}} is constrained to lie within {{math|△''ABC''}}, by the dogleg rule the length of this path exceeds <math>|AC|+|AF|=d(A).</math> Therefore, <math>d(A)<d(P)</math> for all <math>P \in \Delta, P \ne A.</math> Now allow {{mvar|P}} to range outside {{math|Δ}}. From above a point <math>P' \in \Omega</math> exists such that <math>d(P')<d(P)</math> and as <math>d(A) \leq d(P')</math> it follows that <math>d(A)<d(P)</math> for all {{mvar|P}} outside {{math|Δ}}. Thus <math>d(A)<d(P)</math> for all <math>P\ne A</math> which means that {{mvar|A}} is the Fermat point of {{math|Δ}}. In other words, '''the Fermat point lies at the obtuse-angled vertex'''. '''Case 2. The triangle has no angle ≥ 120°.''' Construct the equilateral triangle {{math|△''BCD''}}, let {{mvar|P}} be any point inside {{math|Δ}}, and construct the equilateral triangle {{math|△''CPQ''}}. Then {{math|△''CQD''}} is a 60° rotation of {{math|△''CPB''}} about {{mvar|C}} so :<math>d(P) = |PA|+|PB|+|PC| = |AP|+|PQ|+|QD|</math> which is simply the length of the path {{mvar|APQD}}. Let {{math|''P''{{sub|0}}}} be the point where {{mvar|AD}} and {{mvar|CF}} intersect. This point is commonly called the first isogonic center. Carry out the same exercise with {{math|''P''{{sub|0}}}} as you did with {{mvar|P}}, and find the point {{math|''Q''{{sub|0}}}}. By the angular restriction {{math|''P''{{sub|0}}}} lies inside {{math|△''ABC''}}. Moreover, {{math|△''BCF''}} is a 60° rotation of {{math|△''BDA''}} about {{mvar|B}}, so {{math|''Q''{{sub|0}}}} must lie somewhere on {{mvar|AD}}. Since {{math|1=∠''CDB'' = 60°}} it follows that {{math|''Q''{{sub|0}}}} lies between {{math|''P''{{sub|0}}}} and {{mvar|D}} which means {{math|''AP''{{sub|0}}''Q''{{sub|0}}''D''}} is a straight line so <math>d(P_0=|AD|.</math> Moreover, if <math>P\ne P_0</math> then either {{mvar|P}} or {{mvar|Q}} won't lie on {{mvar|AD}} which means <math>d(P_0)=|AD|<d(P).</math> Now allow {{mvar|P}} to range outside {{math|Δ}}. From above a point <math>P' \in \Omega</math> exists such that <math>d(P')<d(P)</math> and as <math>d(P_0)\leq d(P')</math> it follows that <math>d(P_0)<d(P)</math> for all {{mvar|P}} outside {{math|Δ}}. That means {{math|''P''{{sub|0}}}} is the Fermat point of {{math|Δ}}. In other words, '''the Fermat point is coincident with the first isogonic center'''. ===Vector analysis=== Let {{mvar|O, A, B, C, X}} be any five points in a plane. Denote the vectors <math>\overrightarrow{OA},\ \overrightarrow{OB},\ \overrightarrow{OC},\ \overrightarrow{OX}</math> by {{math|'''a''', '''b''', '''c''', '''x'''}} respectively, and let {{math|'''i''', '''j''', '''k'''}} be the unit vectors from {{mvar|O}} along {{math|'''a''', '''b''', '''c'''}}. :<math>\begin{align} |\mathbf a| &= \mathbf{a \cdot i} = (\mathbf a - \mathbf x)\mathbf{\,\cdot\,i} + \mathbf{x \cdot i} \leq |\mathbf a - \mathbf x| + \mathbf{x \cdot i}, \\ |\mathbf b| &= \mathbf{b \cdot j} = (\mathbf b - \mathbf x)\mathbf{\,\cdot\,j} + \mathbf{x \cdot j} \leq |\mathbf b - \mathbf x| + \mathbf{x \cdot j}, \\ |\mathbf c| &= \mathbf{c \cdot k} = (\mathbf c - \mathbf x)\mathbf{\,\cdot\,k} + \mathbf{x \cdot k} \leq |\mathbf c - \mathbf x| + \mathbf{x \cdot k}. \end{align}</math> Adding {{math|'''a''', '''b''', '''c'''}} gives :<math>|\mathbf a| + |\mathbf b| + |\mathbf c| \leq |\mathbf a - \mathbf x| + |\mathbf b - \mathbf x| + |\mathbf c - \mathbf x| + \mathbf x \cdot (\mathbf i + \mathbf j + \mathbf k).</math> If {{math|'''a''', '''b''', '''c'''}} meet at {{mvar|O}} at angles of 120° then {{math|1='''i''' + '''j''' + '''k''' = '''0'''}}, so :<math>|\mathbf a| + |\mathbf b| + |\mathbf c| \leq |\mathbf a - \mathbf x| + |\mathbf b - \mathbf x| + |\mathbf c - \mathbf x|</math> for all {{math|'''x'''}}. In other words, :<math>|OA| + |OB| + |OC| \leq |XA| + |XB| + |XC|</math> and hence {{mvar|O}} is the Fermat point of {{math|△''ABC''}}. This argument fails when the triangle has an angle {{math|∠''C'' > 120°}} because there is no point {{mvar|O}} where {{mvar|'''a''', '''b''', '''c'''}} meet at angles of 120°. Nevertheless, it is easily fixed by redefining {{math|1='''k''' = − ('''i''' + '''j''')}} and placing {{mvar|O}} at {{mvar|C}} so that {{math|1='''c''' = '''0'''}}. Note that {{math|{{abs|'''k'''}} ≤ 1}} because the angle between the unit vectors {{math|'''i''', '''j'''}} is {{math|∠''C''}} which exceeds 120°. Since :<math>|\mathbf 0| \leq |\mathbf 0 - \mathbf x| + \mathbf{x \cdot k},</math> the third inequality still holds, the other two inequalities are unchanged. The proof now continues as above (adding the three inequalities and using {{math|1='''i''' + '''j''' + '''k''' = '''0'''}}) to reach the same conclusion that {{mvar|O}} (or in this case {{mvar|C}}) must be the Fermat point of {{math|△''ABC''}}. ===Lagrange multipliers=== Another approach to finding the point within a triangle, from which the sum of the distances to the [[vertex (geometry)|vertices]] of the triangle is minimal, is to use one of the [[mathematical optimization]] methods; specifically, the method of [[Lagrange multipliers]] and the [[law of cosines]]. We draw lines from the point within the triangle to its vertices and call them {{math|'''X''', '''Y''', '''Z'''}}. Also, let the lengths of these lines be {{mvar|x, y, z}} respectively. Let the angle between {{math|'''X'''}} and {{math|'''Y'''}} be {{mvar|α}}, {{math|'''Y'''}} and {{math|'''Z'''}} be {{mvar|β}}. Then the angle between {{math|'''X'''}} and {{math|'''Z'''}} is {{math|π − ''α'' − ''β''}}. Using the method of Lagrange multipliers we have to find the minimum of the Lagrangian {{mvar|L}}, which is expressed as: :<math>L=x+y+z+\lambda_1 (x^2 + y^2 - 2xy\cos(\alpha) - a^2) + \lambda_2 (y^2 + z^2 - 2yz\cos(\beta) - b^2) + \lambda_3 (z^2 + x^2 - 2zx\cos(\alpha+\beta) - c^2)</math> where {{mvar|a, b, c}} are the lengths of the sides of the triangle. Equating each of the five partial derivatives <math>\tfrac{\partial L}{\partial x}, \tfrac{\partial L}{\partial y}, \tfrac{\partial L}{\partial z}, \tfrac{\partial L}{\partial \alpha}, \tfrac{\partial L}{\partial \beta}</math> to zero and eliminating {{math|''λ''{{sub|1}}, ''λ''{{sub|2}}, ''λ''{{sub|3}}}} eventually gives {{math|1=sin ''α'' = sin ''β''}} and {{math|1=sin(''α'' + ''β'') = − sin ''β''}} so {{math|1=''α'' = ''β'' = 120°}}. However the elimination is a long and tedious business, and the end result covers only Case 2. == Properties == [[File:Isogonic centres and vesicae piscis.png|thumb|300px|The two isogonic centers are the intersections of three [[vesica piscis|vesicae piscis]] whose paired vertices are the vertices of the triangle]] * When the largest angle of the triangle is not larger than 120°, ''X''(13) is the Fermat point. * The angles subtended by the sides of the triangle at ''X''(13) are all equal to 120° (Case 2), or 60°, 60°, 120° (Case 1). * The [[circumcircle]]s of the three constructed equilateral triangles are concurrent at ''X''(13). * [[Trilinear coordinates]] for the first isogonic center, ''X''(13):<ref>Entry X(13) in the [http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Encyclopedia of Triangle Centers] {{webarchive |url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |date=April 19, 2012 }}</ref> ::<math>\begin{align} & \csc\left(A+\tfrac{\pi}{3}\right) : \csc\left(B+\tfrac{\pi}{3}\right) : \csc\left(C+\tfrac{\pi}{3}\right) \\ &= \sec\left(A-\tfrac{\pi}{6}\right) : \sec\left(B-\tfrac{\pi}{6}\right) : \sec\left(C-\tfrac{\pi}{6}\right). \end{align}</math> * Trilinear coordinates for the second isogonic center, ''X''(14):<ref>Entry X(14) in the [http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Encyclopedia of Triangle Centers] {{webarchive |url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |date=April 19, 2012 }}</ref> ::<math>\begin{align} & \csc\left(A-\tfrac{\pi}{3}\right) : \csc\left(B-\tfrac{\pi}{3}\right) : \csc\left(C-\tfrac{\pi}{3}\right) \\ &= \sec\left(A+\tfrac{\pi}{6}\right) : \sec\left(B+\tfrac{\pi}{6}\right) : \sec\left(C+\tfrac{\pi}{6}\right). \end{align}</math> * Trilinear coordinates for the Fermat point: ::<math>1-u+uvw \sec\left(A-\tfrac{\pi}{6}\right) : 1-v+uvw \sec\left(B-\tfrac{\pi}{6}\right) : 1-w+uvw \sec\left(C-\tfrac{\pi}{6}\right)</math> : where {{mvar|u, v, w}} respectively denote the [[Boolean domain|Boolean variables]] {{math|(''A'' < 120°), (''B'' < 120°), (''C'' < 120°)}}. * The isogonal conjugate of ''X''(13) is the [[isodynamic point|first isodynamic point]], ''X''(15):<ref>Entry X(15) in the [http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Encyclopedia of Triangle Centers] {{webarchive |url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |date=April 19, 2012 }}</ref> ::<math>\sin\left(A+\tfrac{\pi}{3}\right) : \sin\left(B+\tfrac{\pi}{3}\right) : \sin\left(C+\tfrac{\pi}{3}\right).</math> * The isogonal conjugate of ''X''(14) is the [[isodynamic point|second isodynamic point]], ''X''(16):<ref>Entry X(16) in the [http://faculty.evansville.edu/ck6/encyclopedia/ETC.html Encyclopedia of Triangle Centers] {{webarchive |url=https://web.archive.org/web/20120419171900/http://faculty.evansville.edu/ck6/encyclopedia/ETC.html |date=April 19, 2012 }}</ref> ::<math>\sin\left(A-\tfrac{\pi}{3}\right) : \sin\left(B-\tfrac{\pi}{3}\right) : \sin\left(C-\tfrac{\pi}{3}\right).</math> * The following triangles are equilateral: **[[Pedal triangle|antipedal triangle]] of ''X''(13) **Antipedal triangle of ''X''(14) **Pedal triangle of ''X''(15) **Pedal triangle of ''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 points ''X''(13), ''X''(14), the [[circumcircle|circumcenter]], and the [[nine-point circle|nine-point center]] lie on a [[Lester's theorem|Lester circle]]. * The line ''X''(13)''X''(14) meets the Euler line at midpoint of ''X''(2) and ''X''(4).<ref name=ETC>{{cite web|last=Kimberling|first=Clark|title=Encyclopedia of Triangle Centers|url=http://faculty.evansville.edu/ck6/encyclopedia/ETC.html#X381}}</ref> * The Fermat point lies in the open [[orthocentroidal disk]] punctured at its own center, and could be any point therein.<ref name=Bradley>Christopher J. Bradley and Geoff C. Smith, "The locations of triangle centers", ''Forum Geometricorum'' 6 (2006), 57--70. http://forumgeom.fau.edu/FG2006volume6/FG200607index.html</ref> == Aliases == The '''isogonic centers''' ''X''(13) and ''X''(14) are also known as the '''first Fermat point''' and the '''second Fermat point''' respectively. Alternatives are the '''positive Fermat point''' and the '''negative Fermat point'''. However these different names can be confusing and are perhaps best avoided. The problem is that much of the literature blurs the distinction between the '''Fermat point''' and the '''first Fermat point''' whereas it is only in Case 2 above that they are actually the same. == 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 the intersection of the circumcircles of the three regular triangles instead. His pupil, Viviani, went on to collaborate with Fermat to develop a compact and portable form for trangulation in improbability drives. After many successful trials, Fermat and Viviani went to present their findings, only to have Fermat disappear and Viviani patent the solution 2 days later. .<ref>{{MathWorld|urlname=FermatPoints |title=Fermat Points}}</ref> ==See also== *[[Geometric median]] or Fermat–Weber point, the point minimizing the sum of distances to more than three given points. *[[Lester's theorem]] *[[Triangle center]] *[[Napoleon points]] *[[Weber problem]] ==References== {{reflist}} == External links == * {{springer|title=Fermat-Torricelli problem|id=p/f130050}} * ''[http://demonstrations.wolfram.com/FermatPoint/ Fermat Point]'' by Chris Boucher, [[The Wolfram Demonstrations Project]]. * [http://dynamicmathematicslearning.com/fermat-general.html Fermat-Torricelli generalization] at [http://dynamicmathematicslearning.com/JavaGSPLinks.htm Dynamic Geometry Sketches] Interactive sketch generalizes the Fermat-Torricelli point. * [http://www.matifutbol.com/en/triangle.eng.html A practical example of the Fermat point] * [https://www.euclidea.xyz/sketch/1efa5e094f119f9cab244be5125cc81c7c695549 iOS Interactive sketch] {{Pierre de Fermat}} [[Category:Triangle centers]] [[Category:Articles containing proofs]]'