The main reason for this diagram is to emphasise that the Fermat point is NOT the same as the first isogonic center which is (unfortunately) a very widespread misconception. The source is licensed under the same license as the image. Feel free to edit, fix, or improve it!
fermat_point_scope.euk
% Combination of 3 figures in 1. box(0,0,10,24) draw(segment(point(0,9),point(10,9))) draw(segment(point(0,16),point(10,16))) % Proof that the Fermat point lies within the triangle A = point(7,21) B = point(1,18) C = point(9,18) D = point(4,17) E = point(7.5,23) thickness(2) draw(line(B,C)) draw(line(A,B)) draw(line(A,C)) thickness(0.5) draw(segment(D,A)) draw(segment(D,B)) draw(segment(D,C)) draw(segment(E,A)) draw(segment(E,B)) draw(segment(E,C)) label(A,0.2,170:) label(B,0.2,110:) label(C,0.2,45:) draw($P'$,intersection(line(A,D),line(B,C)),0.1,280:) draw($P$,D,0.1,270:) draw("\textbf{A-zone only}",D,2,350:) draw($P'$,A,0.2,355:) draw($P$,E,0.2,0:) draw("\textbf{B-zone and C-zone}",E,0.4,90:) draw("\textbf{C-zone only}",segment(A,B),2,120:) % Case 1 - an angle at least 120 degrees H = point(6,11.5) I = point(1,10) J = point(9,10) K = point(4.8,10.5) I H F equilateral K H G equilateral thickness(2) draw(H,I,J) thickness(0.5) draw(H,K,G) draw(segment(F,H)) draw(segment(F,I)) draw(segment(F,G)) draw(segment(K,I)) draw(segment(K,J)) draw($A$,H,0.2,20:) draw($B$,I,0.2,180:) draw($C$,J,0.2,0:) draw($P$,K,0.1,270:) draw($Q$,G,0.1,210:) draw($F$,F,0.2,180:) draw("\textbf{\Huge Case 1}",F,4.5,0:) mark(segment(K,I),simple,0.7) mark(segment(G,F),simple,0.7) mark(segment(H,K),double,0.7) mark(segment(K,G),double,0.7) mark(segment(G,H),double,0.7) mark(segment(H,I),triple,0.7) mark(segment(I,F),triple,0.7) mark(segment(F,H),triple,0.7) % Case 2 - no angle greater than 120 degrees L = point(4,8) M = point(3.5,5) N = point(9,5) P = point(6.2,6.1) M L O equilateral N P Q equilateral N M R equilateral S = intersection(line(N,O),line(L,R)) N S T equilateral thickness(2) draw(L,M,N) thickness(0.5) draw(N,P,Q) draw(segment(M,R)) draw(segment(N,R)) draw(segment(O,L)) draw(segment(O,M)) draw(segment(R,Q)) draw(segment(P,L)) draw(segment(P,N)) draw(segment(M,P)) draw(segment(S,M)) draw($A$,L,0.2,20:) draw($B$,M,0.2,180:) draw($C$,N,0.2,0:) draw($P$,P,0.2,180:) draw($Q$,Q,0.1,180:) draw($F$,O,0.2,180:) draw($D$,R,0.2,0:) draw($P_0$,S,0.1,45:) draw($Q_0$,T,0.1,0:) draw("\textbf{\Huge Case 2}",L,2.5,0:) draw(segment(L,R)) draw(segment(N,O)) draw(segment(N,T)) mark(segment(M,P),simple,0.7) mark(segment(Q,R),simple,0.7) mark(segment(N,P),triple,0.7) mark(segment(N,Q),triple,0.7) mark(segment(P,Q),triple,0.7) mark(segment(M,N),double,0.7) mark(segment(M,R),double,0.7) mark(segment(N,R),double,0.7)
Licensing
Public domainPublic domainfalsefalse
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Captions
Add a one-line explanation of what this file represents
{{Information |Description={{en|1=Proof that the Fermat point cannot lie outside the triangle}} |Source=Own work by uploader |Author=MRFS |Date=31 August 2008 |Permission= |other_versions= }} <!--{{ImageUpload|full}}--> [[Category:Fermat po