(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 11.1' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 124388, 3914] NotebookOptionsPosition[ 112494, 3606] NotebookOutlinePosition[ 112869, 3623] CellTagsIndexPosition[ 112826, 3620] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Fuhrmann Triangle", "Title",ExpressionUUID->"a510dd5b-7bcc-435a-9ebf-411e2f317811"], Cell[CellGroupData[{ Cell["Author", "Subsection",ExpressionUUID->"7d0c8252-689d-48ca-b41c-4ef21d113aaa"], Cell["\<\ Eric W. Weisstein November 11, 2005\ \>", "Text",ExpressionUUID->"6f3dbb3e-967f-4211-b8a7-02a76ce1afa6"], Cell[TextData[{ "This notebook downloaded from ", ButtonBox["http://mathworld.wolfram.com/notebooks/PlaneGeometry/\ FuhrmannTriangle.nb", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://mathworld.wolfram.com/notebooks/PlaneGeometry/\ FuhrmannTriangle.nb"], None}], "." }], "Text",ExpressionUUID->"d8c6a49c-8830-4b98-b25a-766bea79fa0c"], Cell[TextData[{ "For more information, see Eric's ", StyleBox["MathWorld", FontSlant->"Italic"], " entry ", ButtonBox["http://mathworld.wolfram.com/FuhrmannTriangle.html", BaseStyle->"Hyperlink", ButtonData:>{ URL["http://mathworld.wolfram.com/FuhrmannTriangle.html"], None}], "." }], "Text",ExpressionUUID->"1b36551e-3d72-4eaa-acf7-f29474828f07"], Cell["\<\ \[Copyright]2005 Wolfram Research, Inc. except for portions noted otherwise\ \>", "Text",ExpressionUUID->"39016eff-f527-42d0-be82-5896a6b6c35e"] }, Open ]], Cell[CellGroupData[{ Cell["Fuhrmann Triangle", "Section",ExpressionUUID->"6b67c655-0a29-42a6-b85d-a220f488f28f"], Cell[CellGroupData[{ Cell["Figure", "Subsection",ExpressionUUID->"0dabbe37-6b2c-4561-a55d-593be87d8bc3"], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"t", "=", RowBox[{"Triangle", "[", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{".2", ",", ".5"}], "}"}]}], "}"}], "]"}]}], ";"}], "\n", RowBox[{"Show", "[", RowBox[{ RowBox[{"Graphics", "[", RowBox[{"{", "\[IndentingNewLine]", RowBox[{"t", ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"Green", ",", RowBox[{"Circumcircle", "[", "t", "]"}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", "\[IndentingNewLine]", RowBox[{"Blue", ",", "\[IndentingNewLine]", RowBox[{"CircumcircleMidArcTriangle", "[", "t", "]"}]}], "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", "\[IndentingNewLine]", RowBox[{"Red", ",", "\[IndentingNewLine]", RowBox[{"FuhrmannTriangle", "[", "t", "]"}]}], "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", RowBox[{"{", "\[IndentingNewLine]", RowBox[{"Purple", ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{ RowBox[{"Dashing", "[", RowBox[{"{", ".02", "}"}], "]"}], ",", RowBox[{ RowBox[{ RowBox[{"Line", "[", RowBox[{"{", RowBox[{ RowBox[{"Coordinates", "[", RowBox[{"Circumcenter", "[", "t", "]"}], "]"}], ",", "#"}], "}"}], "]"}], "&"}], "/@", RowBox[{"Vertices", "[", RowBox[{"MedialTriangle", "[", "t", "]"}], "]"}]}]}], "}"}], ",", "\[IndentingNewLine]", RowBox[{"l", "=", RowBox[{"Line", "/@", RowBox[{"Transpose", "[", RowBox[{"Vertices", "/@", RowBox[{"Through", "[", RowBox[{ RowBox[{"{", RowBox[{ "CircumcircleMidArcTriangle", ",", "FuhrmannTriangle"}], "}"}], "[", "t", "]"}], "]"}]}], "]"}]}]}], ",", "\[IndentingNewLine]", RowBox[{"MapIndexed", "[", RowBox[{ RowBox[{ RowBox[{"EqualSideTicksAboutMidpoint", "[", RowBox[{"#1", ",", RowBox[{"#2", "[", RowBox[{"[", "1", "]"}], "]"}], ",", ".012", ",", ".04"}], "]"}], "&"}], ",", "l"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"PerpSquare", "[", RowBox[{"#", ",", ".03", ",", ".3"}], "]"}], "&"}], "/@", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"Sides", "[", "t", "]"}], ",", "l"}], "}"}], "]"}]}]}], "\[IndentingNewLine]", "}"}], ",", "\[IndentingNewLine]", RowBox[{"PointLabels", "[", RowBox[{ RowBox[{"Join", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"VertexPoints", "[", "t", "]"}], ",", RowBox[{"{", RowBox[{"\"\\"", ",", "\"\\"", ",", "\"\\""}], "}"}]}], "}"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Append", "[", RowBox[{"#", ",", "Purple"}], "]"}], "&"}], "/@", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"VertexPoints", "[", RowBox[{"MedialTriangle", "[", "t", "]"}], "]"}], ",", RowBox[{"{", RowBox[{ "\"\<\!\(\*SubscriptBox[\(M\), \(A\)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[\(M\), \(B\)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[\(M\), \(C\)]\)\>\""}], "}"}]}], "}"}], "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Append", "[", RowBox[{"#", ",", "Blue"}], "]"}], "&"}], "/@", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"VertexPoints", "[", RowBox[{"CircumcircleMidArcTriangle", "[", "t", "]"}], "]"}], ",", RowBox[{"{", RowBox[{ "\"\<\!\(\*SubscriptBox[OverscriptBox[\(M\), \(\[Cap]\)], \ \(A\)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[OverscriptBox[\(M\), \(\[Cap]\)], \(B\ \)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[OverscriptBox[\(M\), \(\[Cap]\)], \(C\ \)]\)\>\""}], "}"}]}], "}"}], "]"}]}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"Append", "[", RowBox[{"#", ",", "Red"}], "]"}], "&"}], "/@", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{ RowBox[{"VertexPoints", "[", RowBox[{"FuhrmannTriangle", "[", "t", "]"}], "]"}], ",", RowBox[{"{", RowBox[{ "\"\<\!\(\*SubscriptBox[\(F\), \(A\)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[\(F\), \(B\)]\)\>\"", ",", "\"\<\!\(\*SubscriptBox[\(F\), \(C\)]\)\>\""}], "}"}]}], "}"}], "]"}]}], ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"{", RowBox[{ RowBox[{"Circumcenter", "[", "t", "]"}], ",", "\"\\"", ",", "Purple"}], "}"}], "}"}]}], "\[IndentingNewLine]", "]"}], ",", RowBox[{"LabelOffset", "\[Rule]", ".03"}]}], "]"}]}], "\[IndentingNewLine]", "}"}], "]"}], ",", RowBox[{"AspectRatio", "\[Rule]", "Automatic"}]}], "]"}]}], "Input",Express\ ionUUID->"53f864aa-e50a-4ffb-a6d3-ea3125414022"], Cell[GraphicsData["PostScript", "\<\ %! %%Creator: Mathematica %%AspectRatio: .97884 MathPictureStart /Mabs { Mgmatrix idtransform Mtmatrix dtransform } bind def /Mabsadd { Mabs 3 -1 roll add 3 1 roll add exch } bind def %% Graphics %%IncludeResource: font Courier %%IncludeFont: Courier /Courier findfont 10 scalefont setfont % Scaling calculations 0.0311819 0.917484 0.406847 0.917484 [ [ 0 0 0 0 ] [ 1 .97884 0 0 ] ] MathScale % Start of Graphics 1 setlinecap 1 setlinejoin newpath 0 0 m 1 0 L 1 .97884 L 0 .97884 L closepath clip newpath 0 g .5 Mabswid [ ] 0 setdash .03118 .40685 m .94867 .40685 L .21468 .86559 L .03118 .40685 L s 0 1 0 r newpath .48992 .48942 .46611 0 365.73 arc s 0 0 1 r .73696 .88468 m .05715 .66253 L .48992 .02331 L .73696 .88468 L s 1 0 0 r .42638 .38775 m .18871 .6099 L .48992 .79039 L .42638 .38775 L s .5 0 .5 r [ .02 ] 0 setdash .48992 .48942 m .58167 .63622 L s .48992 .48942 m .12293 .63622 L s .48992 .48942 m .48992 .40685 L s [ ] 0 setdash .73696 .88468 m .42638 .38775 L s .05715 .66253 m .18871 .6099 L s .48992 .02331 m .48992 .79039 L s .66865 .75462 m .64998 .76629 L s .51336 .50615 m .49469 .51782 L s .09676 .65854 m .08858 .6381 L s .16254 .63223 m .15436 .61179 L s .0915 .66065 m .08332 .6402 L s .15728 .63434 m .1491 .61389 L s .47891 .24576 m .50093 .24576 L s .47891 .6293 m .50093 .6293 L s .47891 .21508 m .50093 .21508 L s .47891 .59862 m .50093 .59862 L s .47891 .18439 m .50093 .18439 L s .47891 .56793 m .50093 .56793 L s .55833 .65081 m .54374 .62746 L .56708 .61288 L s .11271 .61066 m .13826 .60044 L .14849 .626 L s .51745 .40685 m .51745 .43437 L .48992 .43437 L s 1 g .05871 .43437 -5.8125 -7 Mabsadd m .05871 .43437 5.8125 -7 Mabsadd L .05871 .43437 5.8125 7 Mabsadd L .05871 .43437 -5.8125 7 Mabsadd L fill 0 g gsave .05871 .43437 -66.8125 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.312 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor (A) show 70.625 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .02 w .03118 .40685 Mdot 1 g .97619 .43437 -5.71875 -7 Mabsadd m .97619 .43437 5.71875 -7 Mabsadd L .97619 .43437 5.71875 7 Mabsadd L .97619 .43437 -5.71875 7 Mabsadd L fill 0 g gsave .97619 .43437 -66.7188 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.125 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor (B) show 70.438 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .94867 .40685 Mdot 1 g .2422 .89311 -6.0625 -7 Mabsadd m .2422 .89311 6.0625 -7 Mabsadd L .2422 .89311 6.0625 7 Mabsadd L .2422 .89311 -6.0625 7 Mabsadd L fill 0 g gsave .2422 .89311 -67.0625 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor (C) show 71.125 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .21468 .86559 Mdot 1 g .6092 .66374 -10.4375 -7 Mabsadd m .6092 .66374 10.4375 -7 Mabsadd L .6092 .66374 10.4375 7 Mabsadd L .6092 .66374 -10.4375 7 Mabsadd L fill .5 0 .5 r gsave .6092 .66374 -71.4375 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 63.188 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (M) show 73.375 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (A) show 79.875 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .58167 .63622 Mdot 1 g .15045 .66374 -10.375 -7 Mabsadd m .15045 .66374 10.375 -7 Mabsadd L .15045 .66374 10.375 7 Mabsadd L .15045 .66374 -10.375 7 Mabsadd L fill .5 0 .5 r gsave .15045 .66374 -71.375 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 63.188 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (M) show 73.250 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (B) show 79.750 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .12293 .63622 Mdot 1 g .51745 .43437 -10.6562 -7 Mabsadd m .51745 .43437 10.6562 -7 Mabsadd L .51745 .43437 10.6562 7 Mabsadd L .51745 .43437 -10.6562 7 Mabsadd L fill .5 0 .5 r gsave .51745 .43437 -71.6562 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 63.188 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (M) show 73.125 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (C) show 80.312 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .48992 .40685 Mdot 1 g .76449 .91221 -10.9688 -9.625 Mabsadd m .76449 .91221 10.9688 -9.625 Mabsadd L .76449 .91221 10.9688 9.625 Mabsadd L .76449 .91221 -10.9688 9.625 Mabsadd L fill 0 0 1 r gsave .76449 .91221 -71.9688 -13.625 Mabsadd m 1 1 Mabs scale currentpoint translate 0 27.25 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 19.250 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 63.188 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (M) show 66.188 8.938 moveto %%IncludeResource: font Mathematica3 %%IncludeFont: Mathematica3 /Mathematica3 findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor ([) show 74.438 21.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (A) show 80.938 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .73696 .88468 Mdot 1 g .08467 .69006 -10.9062 -9.625 Mabsadd m .08467 .69006 10.9062 -9.625 Mabsadd L .08467 .69006 10.9062 9.625 Mabsadd L .08467 .69006 -10.9062 9.625 Mabsadd L fill 0 0 1 r gsave .08467 .69006 -71.9062 -13.625 Mabsadd m 1 1 Mabs scale currentpoint translate 0 27.25 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 19.250 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 63.188 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (M) show 66.188 8.938 moveto %%IncludeResource: font Mathematica3 %%IncludeFont: Mathematica3 /Mathematica3 findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor ([) show 74.312 21.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (B) show 80.812 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .05715 .66253 Mdot 1 g .51745 .05083 -11.1875 -9.625 Mabsadd m .51745 .05083 11.1875 -9.625 Mabsadd L .51745 .05083 11.1875 9.625 Mabsadd L .51745 .05083 -11.1875 9.625 Mabsadd L fill 0 0 1 r gsave .51745 .05083 -72.1875 -13.625 Mabsadd m 1 1 Mabs scale currentpoint translate 0 27.25 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 19.250 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 63.188 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (M) show 66.188 8.938 moveto %%IncludeResource: font Mathematica3 %%IncludeFont: Mathematica3 /Mathematica3 findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor ([) show 74.188 21.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor (C) show 81.375 19.250 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.000 0.000 1.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .48992 .02331 Mdot 1 g .45391 .41528 -9.03125 -7 Mabsadd m .45391 .41528 9.03125 -7 Mabsadd L .45391 .41528 9.03125 7 Mabsadd L .45391 .41528 -9.03125 7 Mabsadd L fill 1 0 0 r gsave .45391 .41528 -70.0312 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.000 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (F) show 70.562 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (A) show 77.062 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .42638 .38775 Mdot 1 g .21624 .63743 -8.96875 -7 Mabsadd m .21624 .63743 8.96875 -7 Mabsadd L .21624 .63743 8.96875 7 Mabsadd L .21624 .63743 -8.96875 7 Mabsadd L fill 1 0 0 r gsave .21624 .63743 -69.9688 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.000 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (F) show 70.438 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (B) show 76.938 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .18871 .6099 Mdot 1 g .51745 .81791 -9.25 -7 Mabsadd m .51745 .81791 9.25 -7 Mabsadd L .51745 .81791 9.25 7 Mabsadd L .51745 .81791 -9.25 7 Mabsadd L fill 1 0 0 r gsave .51745 .81791 -70.25 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def /MISOfy { /newfontname exch def /oldfontname exch def oldfontname findfont dup length dict begin {1 index /FID ne {def} {pop pop} ifelse} forall /Encoding MacintoshRomanEncoding def currentdict end newfontname exch definefont pop } def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic %%BeginResource: font Times-Italic-MISO %%BeginFont: Times-Italic-MISO /Times-Italic /Times-Italic-MISO MISOfy %%EndFont %%EndResource %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 63.000 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (F) show 70.312 16.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 8.500 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor (C) show 77.500 14.000 moveto %%IncludeResource: font Times-Italic-MISO %%IncludeFont: Times-Italic-MISO /Times-Italic-MISO findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 1.000 0.000 0.000 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .48992 .79039 Mdot 1 g .51745 .51694 -6.3125 -7 Mabsadd m .51745 .51694 6.3125 -7 Mabsadd L .51745 .51694 6.3125 7 Mabsadd L .51745 .51694 -6.3125 7 Mabsadd L fill .5 0 .5 r gsave .51745 .51694 -67.3125 -11 Mabsadd m 1 1 Mabs scale currentpoint translate 0 22 translate 1 -1 scale /g { setgray} bind def /k { setcmykcolor} bind def /p { gsave} bind def /r { setrgbcolor} bind def /w { setlinewidth} bind def /C { curveto} bind def /F { fill} bind def /L { lineto} bind def /rL { rlineto} bind def /P { grestore} bind def /s { stroke} bind def /S { show} bind def /N {currentpoint 3 -1 roll show moveto} bind def /Msf { findfont exch scalefont [1 0 0 -1 0 0 ] makefont setfont} bind def /m { moveto} bind def /Mr { rmoveto} bind def /Mx {currentpoint exch pop moveto} bind def /My {currentpoint pop exch moveto} bind def /X {0 rmoveto} bind def /Y {0 exch rmoveto} bind def 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 63.000 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor (O) show 71.625 14.000 moveto %%IncludeResource: font Times-Italic %%IncludeFont: Times-Italic /Times-Italic findfont 12.000 scalefont [1 0 0 -1 0 0 ] makefont setfont 0.500 0.000 0.500 setrgbcolor 0.000 0.000 rmoveto 1.000 setlinewidth grestore .48992 .48942 Mdot % End of Graphics MathPictureEnd \ \>"], "Graphics", ImageSize->{288, 281.875}, ImageMargins->{{72, 0}, {0, 0}}, ImageRegion->{{0, 1}, {0, 1}},ImageCache->GraphicsData["CompressedBitmap", "\<\ eJzNnfmTVcUVx9t582aYfYBhB2eGAVEMoAgKCgwIKu5LVDSuqEQsE/fEqmiV SWWrxJ+SvytVqfxFN+/2ck6/vp97b995z4Uq5r3X3fd8v6e32336dPezN7+6 feu3N7/66P2ba098cfOz2x+9/+Xa459+MQjq3WHMHWuD//vWTPm9MCb8sf/W yz/+R4fv35cfvTLw3y7gr+XHZFGK7hUhfYlkE/3LhXxTfsyWifrlt34U9VX5 MV1GLUnUjIBMlt+mythvXPJPfaLC7JFENrnpB6byr2QxI+l/74I+Fr4HRUDE vPywYT39KvKWRdjnLv2HIsxlz+QQh8H3CZBCYbs8l8J84p78QALWa0Uoms/z erQKsd0i/2MXclMCjtRKmR4CTD5d0drH9oms2y7ybQm4C4T3MoQfEQm3XNCb 5cdEGXA3iJxMwkoRE/4JUxyTZ993ka+L9OMgrF+XIVbY3fLsu07YqxLwizph E1K3beRxeeItJ+JlIXgSRFyQ2Ddc8l+GRIWkwgcvQbrXnIgXReZ98OBlIXjD JX9OAu6H5NdE2Csu+bMAfBoenLV/K5X1HDz+kot7WqDOgLx5yeyHhfCL7sHr EnAWHnxGxD7vkj8BFB6EB2d82HfmOwmjZnkR5D3joB7PhJoFKOq1LoouHuCx TIC5TIBNkPekg7oq2OdHALgMANcdwKMQdQ5EzGdCXQF5ruwdC6vLw/DgAgCk vZAAWPmunF3x2IBHIPliplhtctec2AugyAV4MBeAaqXLLOXdArUEUNS3EpSr AprzLVDLmVDUrDcd1HmIuggicqGugzzXIRvq3whqeybUk7XyzEOZUDsAaioT yhWIdikVhbcG9VT511ZxDyAddwvAzkyAZ0CeqwXmAcG+DA+uAMB0JoAre30b Vur81qDojevKXt/YLVC7MqGek7zxADKCaAHYnQnwAshzb3tzCqKugAiC2pYJ 9YCDOglRBLVndKgTmVB7M6FeBHmuwukQNYp6FEQQ1AykIyhX4cy9mVD7MqFe Anmu6ukovgVqfyYUDbBPjQ41C+lIKw91TybUgUyo+mmDzqlaoA5mQqUTGnMM AK7Cg7YyTJfyqVxeBSmumulEswXgEGgwB+kI6ng9FGXWnaNDHc3UKhfqBshz 1UzNAC1QqwA1D+kIylUzs5EJtZYJ9RrIcxXOHIaoayNAvQ7y7qqHIq2CgWcE qHWIqi0r25pyAVyFk+xoy7agc6zLAqT7Fcg7Ug9FuoRKMwLUaiZUaAox1CKk IyhHUxpkWwbmQr0B8lzmS4/WBhX6khGgDkIUQYUesg3qTZC3PjrUEqQjrTzU AYgiqPAOa4MirVwtl1FBVlnZhkvZ9hZIWe0GEF74sS7LkI508VD7IIqgwjCm DYq0cs1IRqNtUGFw1gb1Nsg79KND7YEoggoD6RhqO6QjqIP1UNTzhelBG9Q7 IO9APRSNjsKkZwSo3RBFWhHUDkhHUK5ByeS4DSrMGscMRRkY5sIjQK1AFGmV C/UuyNtXD0VaBWNCDLUT0hHU3noomk4Hw8gIUDshirQaA9QOiCKoYFmKoVYg HUHtqYeiDHzg5wd1E+S5bkI7lxaosLA0ZqjLICJYNGOoXZCOMtBDLUMUaZUL RVrtqocirYIhuA3qPZC3Ug+1CSKCeTuG2g3pSCsPtQRRpNUYoBYhiqDC+kAb FGXgznqoTRARVj1+Iqg9kI4y0EMtQBRBhWWjNijSakc9FC02hMWwnwhqL6Sj DGyAouWgsMY2AtQ8RBFUCGuDogzc/rOAogXJUH4x1D5IRxnooeYgiqA2M6FI q+WfBRQthId+MYbaD+koAxugaCk/vC7boEirpR8dahaiCMqO2XtF9DIdMyh5 eFjQfhG9VmPQA/AEgS7+hKAzEEWg9/3QoOTVEiZHEmhM6W3ERXwQBFBr6cgh zAWjQFxx7whvF4LL1PVFnIDa6mG1dw4sLtL97zlpAz6HQNq7guWrt/UOuFAG +JTBd/aUDyvcb/ur9C8Tz7VYbuGJTJa4ff9kmSXhyRVA+KD8uxjRsA8+BKyD aSHOA++DGZ7tpRyqxUID8bcFt0KE/MSIyDSE9dMwE5OjgrEmwKmIiNaKXCIz EFYh4n75GiKm+kiytRZP+OY1XFdkwb1wVaL8RS6FwehUqbJJjhC5JSFHRgJZ t4meEBeuqGUtVAl7THSeJMJzjkgRbG39uC7Zf4PfaAq6ITkoLh551MTTNsp6 8tIluvMhL4Zb5Zxkpyv2oIShMGogskIbYaXcXfaIvqj2pKYaykTTQcfFBh3N 5FD5DL5PcDBN8cKafZDVj6kLTXWiTNUai8bBAF3R2L5qQ/kGbcrPeiWDH26b hTn4QvP0SB3qo0d8F8k62xZtHxAPjhYN1+zf6SG9ks+ow6I+QbyLTNrIxqJN 9QnywifV1jNUoylE8DJjW5BVY7KF+ZSIoHI47mILtUHSK4N81WLqvrcafKUR tTgARpJr1alpJf16BdV5TsNow0VoaLGCOyEsvETIvywOU6Wp5ILfJlvHex4p qU4dtRS/mBYtVyCMinZKNLJ5YCPJMnBddKNVmqxaeQrEhvoZ09wFYcGLNaYu nlWRPPGoBnkxl/l6mrSfhGjuhrBcmnax0+Ymrbo2kJPRTkvFJ8J7ICxt2UWh uzjiMNqbpetlKo+Wxufq1emDCKrhoc+Nqe+FsFHUsRYKWybkgdFRCfEpa1Fi P4RNe6k04CS5l4Q4+d544lMQpa7hGiYeai3ED0CY6zEroxHirEZKfbwje+od xRMtggrtL2Z6EMI6sLdmO5vj5I/WkTPVReJ8CMLSTVhlFaH2o5YFwM2jvg1E rGZSvxPC7IywV5fD1gxgc5i8M8dAM3SaBaSr5LBti9QyzgpNco3tSJOm40Rz rTNNnfTCWyOP8AyIIEMXET4MYRZjuq74rdfA8AB2vDRDI4kpbUBYmAMkfbGt t9TQdE+pyuiowiyIoCH2EZdHhcE8pz2TlNMnnRTDGyQ60qRBcQAtoO6VYX4m i4Qph+8VwrRPZQyEqRpYIr3YnbiNpk7xYWSZR3gORNACay3htN6a+s2hk3X2 QPvut9lNu6kaRkWU3WR8IfY0oWnab9wWRosSOixXjI4qUgGREY36v3shzKpo 52LB1lQppwzFfL8Q2zq3rg65/5A6h4X6NojNLTuahlPXd1hUpK2XHVUkoxKp aF+7llvFmP0DqKijQsWgbaANc8V5EEEG6wBVGQrZ8lyAWFJ2lCp7p0MzvEG4 o4pk6CQVaWWNFKMSy+1kdKlHMTqquAAiyPeeVLSUJmLLaZuy3oJb8zLw8gzv hB+DEjS09WesRLb76qyt3eKyT6jTgRQdqdPWhFrqCTmywpASZGbWt78+21Gd RRBBW6RInTMQRtTJCkPVyb4rbZlc/mGUWAXCKw50wI1iSR0KozVcfVeqvAbF aBmNFKNdpkTddu2WJXUFuYpROW13WWaMmvy2rg7tbvX9f2Fw1z+9jIk69WdU TkuiDp0PMwZ1yFLzMIRRO8lVgrhcA841682SD4kIOpWA1PF5OGBJY/VaxSbq 3ixyfhEeVNJRCTrygpRYFEq0fkdKzDYqQVOejuosgwg6+IQMmAtCjtxD7DBm Oh6+xoqRjWSbkzeg8tToSujCRYYSCbkmt5s4Hc1uaVSmy6N0TolXjLzCqLKp W0CzYpuZSlAGkBK0EtRRHSonOsKLbP3anB+EWFoHy1VM3WCe34o6tJbMzd+7 WA34nINYUoGOkNovqEOgJQs8+aTB6VBnLqadeELjPKTrpkJ8yKJ18KITTjLZ BwWoIVyDMGJK3qVqr1MMOkekwY92GURQBdel/isQW0s4cQ7QgqQzSLJoFkEM LhZaClcxovD9PWWkDr2pwVO9bfCHTmdyJviC2cxw9WLYbWsQHFbq23KVjgJT k01zP0wdSKse6aGMRv2PzLDDnPoI+gj/pLwvY93I+WK7ZNIO980YHLx01MNV qynqkgSQ6Nh3uXU3Cy+SNgXoRLNFUYVOaGpQhbYS0KxOa6yRopjyFGnNfGpr atlsomE2qfUccG/YjEFqkX+heuckVa8nEdMlRqcKF4WVgnXoTazoeLUGxejo HRqpqGJsww8RVqXAoU27MACgSkBj84760g4omv6RW0VKt6RkzWwvZ+pGnTiZ V+XUXbSv0QCxYX9XJ+1svvuDows9r7QyB8kYkFC6nihGNuynuylGTViHg+oJ 5/dXRKUW6hh1rlcC+eG4oWOI2NjqW3d40dOSRIOG5O5KrxGrYT/pTUTLpHZu c5lQhDdSopYxNCyigqNxv1YYWi+j6WbDNs5aVad8/1iBpzUq3VAycs0dl2J9 /zeIiItnSoCaPD3jIVluedX2NP3YBh+rRUejerVoi7TrtoaHJ5FqltNE0vr8 /4prqJGNNR1qJGkYDyo8qHsN0Yo7nXDbsCecFI6Utj2AnYJY6nNO/0JXKirD enzv6WK/n7+RTacj89pz9nsyaO1rI6t0EaHTixUgQ2i9UsOjPDXYVasGmcnJ +Oa1lbF+EaX3lyFYlVw6Hkw0qWtLLldJMiilpelBaWRF50fHhzvYqUzS16c0 RJ/abUI9JqTD6kXRmwwppLc3VYY5QjN0bwvq+50zg9Rh+pmwr3UdsUFktzgL YaQbrUnPdCSRlM+Wld+R4PpKkItrs8EWbK7y3kBuwgttS9DlL1KZ1jd2pSpP yzc3LsjYW6Tr3VbXcOJOm65qH1/KQKIXUUcl/eZI03wRTD+DzDFRNhyaFCtL 5UGeyzlq02CdVhF3pyrKkLhQCS4PK7dm0ORKzXe0FYJ8P0hrnU2llo5hDBqw 04UNQ0cXZd2h05MMqd3boFraEs3VjabltJ1dMagsG7QMPa+O1Zq1jMKkHic7 k3TrGm0Qre1bdN9SIo98hehijD2xRs339/jhqPE3sSQUabWUaccel+Njd1Uy MIeJMbxhehNI7I1JDJekXiFkK76NPC1EXPucionYfyUJY/CgXTpusoET1duE U9QOHOPB35D9cQ45z+Xh6b8foeKJtmSEacu95M4k7SyG8sdWsZOSizExP/4P uYjEKAvJlcgfYkjuzHoN1gmhsRGn89YMqt8bEEZ5RZe77K+ntE0o0Yr+avqE 0V3dMRHKL3L5aiAnVwBE8LNCTruxQ+6brMNUDUtlAeaeKkxeeQfqCS0IIX17 7Id0TdToaGCiRvfZeGrupVN5G6oBJRlxWMG0J00XtchkNWBIZ//SSdoNZFcC RqGWkMTqYWXd5dIF9aL1kC2zont6/Cm3ev9akhtWwlHhQiv+Nazo8GJiRffs NJworH1x8v6yUkPLi0t1TvIvnPQwfqa0bTVdjS9C67ZSvQt6YXBloYYpHZ1M ixDk1e4PhKZjromp3vm4LkzV74WO0hiQovOWaY5Cjuir3fjZ5LbNrwo/HauF JwJq2dMQOco82vXgydF559QkNiTz4p2LwTqfnppQkqPjoynnwtwyZrDmyNGu YyJ3VMjtl/zC0xxKXnQANFnK6FYmf0g8nbJPdqtwPST3jL5soz6ojSZlH23Q 8TRp9zDRDFdQesvQ0EE9cbeT7nsoadIZ15SbdC/U4W40TwhNXZ/Vc79yyQ3t yMlkuApRtAx+nzCkzaxqC42NwMG458etNXY92ifnBox4ZwaROy3kdN0w7VTK X/GhWXnk6MqqI93InRVyK5JLRCRtFXWmwAZKtMmbKJ2RXPKW9TB+H/zfKSTj dhJIup6vbdFdydI206MRWXt3ErWI00LRvscmpQknRToZhQWSdAo5NQu648rf PLMBUWTqvR/CdOS/JHk5Ck3aUeyv/TkCUURT9/3qnFzt+GHKFpOj49XJXZxu 1Lq7G7kTELZTaAbLcjJ4odPLiR9dyOX50aVTxO+4ZF64ANoUtmFaUnRiOxGh Hfj+Sqr6zfnwztWjP7Q37tcRocVyUrvhxi8iQrtp14VSvzMlqin+vjMqP6J0 RPLmmBCZECJUW4iInCgSobkuDCs6TQY2IExHIbaR0cHx5PZP3blrLNgnEJs1 yZZHHIfC4NCa4OkF56+5o56TDmPQrZ4XAkxiVSjjcgnRaMrfIUiXMNJAhbZo npGcoTMqaaClxnQlRwNnf20jvQSJnI7waWV1EsJyydFsw19fScMJWv5JvZzL X+SGHlZthgra4JifnHhp0ubv9KSBIjG1E5Ko0g07kKjnD8GTgYsylEwI/pZT uruV3OjEtuSOdLKU5t23QSoiQoTJ6uIvkaVRP51eRf7Vl4Lmw6W4KPzoljVa 66FrkpxBQY594exZlux5lLnoSIYWDSiv6Gg41xfjTJ1cdGmoahdpbM+mo5bQ d7ZlD93h468bJssGUdIZ4zsC73rK6jC9tGtQLpzrBqnr/h8I5IEGSNLS30BN xqXUO6v8RW+XD8u/dmawtwGcrt5xJl9X+LYGNrhjD4I+ES13NQAtizR/KbnL 1dTrCPuszwUh2MdjhDCVSLTwMOcZZlLofy3CyT1GxtjDwv0d7qlx3M0ZB3++ FaGLLJQ8cTddnB2L2K1bfxQpqctsmaOhnoWF5+jBP8uD8QZHn6O4T7Ei4m8i Il1sN0ZLv/D7ht3LxJbaP+XB2BchYMvrIsL2Iv4jD07AgxOC6Pz2zH/LD+tI mIjz8f8LqhTO1dSt904KxThKVu5Nczv7uzzo9/SYsMpdREaCi/VC/yFayLnW RXCIGu7Ai0v1UuiEpO8gTDFMnQdJrwUqnL1euCodvZDyXTaisJKKRxPPl7Qf sxihVaq/WCQiF63QbsAv9pvYsk7t4EsIm/U5ETNIPnFE7qEfE0ApBZtIVmgL 85novZCB5dvLK/LQb+RbdftZvLzvH7whuL+Wb81+Ac4RC6+6vSnYuhyoNcsV sjtJ3z73lnx7z0XZawds9/yqRN1yUe9JwAvy7baLuiUBT8rzH7uo2xJ1Vb6F I8CSGuv8Bt2D9qDz8/LtHlHGOc66IrJRp+Tb1y7qdxJwVL5966L+UH7MlgHb 5dufXNRfyo/tZcD3UQGvj/7d3PF/Awu+lQ==\ \>"],ImageRangeCache->{{{0., 287.}, {280.875, 0.}} -> {0., 0., 0., \ 0.}},ExpressionUUID->"7febc100-626a-465d-b640-c0f69746bae6"], Cell[BoxData[ TagBox[ RowBox[{"\[SkeletonIndicator]", "Graphics", "\[SkeletonIndicator]"}], False, Editable->False]], "Output",ExpressionUUID->"53b338ba-2b7a-4813-9664-\ 5bb79eebe39d"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Trilinear Vertex Matrix", "Subsection",ExpressionUUID->"be1ae2bf-a120-4a4a-a478-cd2a02718f36"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"TrilinearVertexMatrix", "[", "FuhrmannTriangle", "]"}], "//", "TraditionalForm"}]], "Input",ExpressionUUID->"cbf77c30-16a5-4be6-8d1d-\ 0cf628608d59"], Cell[BoxData[ FormBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"a", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox["c", "2"], "+", RowBox[{"b", " ", "c"}]}], "b"], FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox["b", "2"], "+", RowBox[{"b", " ", "c"}]}], "c"]}, { FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["c", "2"], "+", RowBox[{"a", " ", "c"}]}], "a"], "b", FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "+", RowBox[{"c", " ", "a"}], "-", SuperscriptBox["b", "2"]}], "c"]}, { FractionBox[ RowBox[{ SuperscriptBox["b", "2"], "+", RowBox[{"a", " ", "b"}], "-", SuperscriptBox["c", "2"]}], "a"], FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "+", RowBox[{"b", " ", "a"}], "-", SuperscriptBox["c", "2"]}], "b"], "c"} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], "\[NoBreak]", ")"}], TraditionalForm]], "Output",ExpressionUUID->"660d832d-7063-4c24-bdc1-\ 29766fe13cbc"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Concurrent in Circumcenter", "Subsection",ExpressionUUID->"feef5318-d7b7-47a1-8221-8da25519e1df"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Symmetrize", ",", RowBox[{"ToAngles", "[", RowBox[{"Map", "[", RowBox[{"Symmetrize", ",", RowBox[{"Factor", "[", RowBox[{"Intersections", "@@@", RowBox[{"Partition", "[", RowBox[{ RowBox[{"Transpose", "[", RowBox[{"TrilinearVertexMatrix", "/@", RowBox[{"{", RowBox[{"CircumcircleMidArcTriangle", ",", "FuhrmannTriangle"}], "}"}]}], "]"}], ",", "2", ",", "1", ",", "1"}], "]"}]}], "]"}], ",", RowBox[{"{", "2", "}"}]}], "]"}], "\[IndentingNewLine]", "]"}], ",", RowBox[{"{", "2", "}"}]}], "]"}]], "Input",ExpressionUUID->"c10caef6-1ded-\ 4a78-a921-ad42e5e9d683"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "A", "]"}], RowBox[{"a", "+", "b", "-", "c"}]]}], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "B", "]"}], RowBox[{"a", "+", "b", "-", "c"}]]}], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "C", "]"}], RowBox[{"a", "+", "b", "-", "c"}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{"Cos", "[", "A", "]"}], RowBox[{"a", "-", "b", "-", "c"}]], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "B", "]"}], RowBox[{"a", "-", "b", "-", "c"}]]}], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "C", "]"}], RowBox[{"a", "-", "b", "-", "c"}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{"Cos", "[", "A", "]"}], RowBox[{"a", "-", "b", "+", "c"}]], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "B", "]"}], RowBox[{"a", "-", "b", "+", "c"}]]}], ",", RowBox[{"-", FractionBox[ RowBox[{"Cos", "[", "C", "]"}], RowBox[{"a", "-", "b", "+", "c"}]]}]}], "}"}]}], "}"}]], "Output",Expre\ ssionUUID->"0791cf6f-4394-466c-b26f-847c8b079a47"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Trilinears", "[", "Circumcenter", "]"}]], "Input",ExpressionUUID->"452b05cb-be99-4056-992e-e27825c6f797"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"Cos", "[", "A", "]"}], ",", RowBox[{"Cos", "[", "B", "]"}], ",", RowBox[{"Cos", "[", "C", "]"}]}], "}"}]], "Output",ExpressionUUID->\ "600de365-71e2-4da1-bba7-b86d8e646ace"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Center of Circumcircle", "Subsection",ExpressionUUID->"0ec08c71-4d52-4b2b-8091-ebc6d721ab19"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"Together", "//@", RowBox[{"CircleEquation", "[", RowBox[{"TrilinearVertexMatrix", "[", "FuhrmannTriangle", "]"}], "]"}]}], "]"}]], "Input",ExpressionUUID->"1db705c5-4934-4f84-b81b-2a7521a00e63"], Cell[BoxData[ RowBox[{ FractionBox["1", RowBox[{"32", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{ RowBox[{"a", " ", "\[Alpha]"}], "+", RowBox[{"b", " ", "\[Beta]"}], "+", RowBox[{"c", " ", "\[Gamma]"}]}], ")"}], "2"]}]], RowBox[{"(", RowBox[{ RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["a", "5"], " ", SuperscriptBox["\[Alpha]", "2"]}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["\[Alpha]", "2"]}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["c", "2"], " ", SuperscriptBox["\[Alpha]", "2"]}], "+", RowBox[{ SuperscriptBox["a", "4"], " ", "b", " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", "\[Alpha]", " ", "\[Beta]"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "4"], " ", "\[Alpha]", " ", "\[Beta]"}], "+", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "3"], " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", SuperscriptBox["\[Beta]", "2"]}], "+", RowBox[{ SuperscriptBox["b", "5"], " ", SuperscriptBox["\[Beta]", "2"]}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"], " ", SuperscriptBox["\[Beta]", "2"]}], "+", RowBox[{ SuperscriptBox["a", "4"], " ", "c", " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "3"], " ", "c", " ", "\[Alpha]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["c", "2"], " ", "\[Alpha]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "3"], " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{"a", " ", SuperscriptBox["c", "4"], " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "b", " ", "c", " ", "\[Beta]", " ", "\[Gamma]"}], "+", RowBox[{ SuperscriptBox["b", "4"], " ", "c", " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"], " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"], " ", "\[Beta]", " ", "\[Gamma]"}], "+", RowBox[{"b", " ", SuperscriptBox["c", "4"], " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "3"], " ", SuperscriptBox["\[Gamma]", "2"]}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"], " ", SuperscriptBox["\[Gamma]", "2"]}], "+", RowBox[{ SuperscriptBox["c", "5"], " ", SuperscriptBox["\[Gamma]", "2"]}]}], ")"}]}], ")"}]}]], "Output",Expres\ sionUUID->"e94fa599-eba0-406c-b125-5d3ec012650d"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"eqn", "=", RowBox[{"(", RowBox[{ RowBox[{ SuperscriptBox["a", "5"], " ", SuperscriptBox["\[Alpha]", "2"]}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["\[Alpha]", "2"]}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["c", "2"], " ", SuperscriptBox["\[Alpha]", "2"]}], "+", RowBox[{ SuperscriptBox["a", "4"], " ", "b", " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", "\[Alpha]", " ", "\[Beta]"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "4"], " ", "\[Alpha]", " ", "\[Beta]"}], "+", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "3"], " ", "\[Alpha]", " ", "\[Beta]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", SuperscriptBox["\[Beta]", "2"]}], "+", RowBox[{ SuperscriptBox["b", "5"], " ", SuperscriptBox["\[Beta]", "2"]}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"], " ", SuperscriptBox["\[Beta]", "2"]}], "+", RowBox[{ SuperscriptBox["a", "4"], " ", "c", " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "3"], " ", "c", " ", "\[Alpha]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["c", "2"], " ", "\[Alpha]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "3"], " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{"a", " ", SuperscriptBox["c", "4"], " ", "\[Alpha]", " ", "\[Gamma]"}], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "b", " ", "c", " ", "\[Beta]", " ", "\[Gamma]"}], "+", RowBox[{ SuperscriptBox["b", "4"], " ", "c", " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"], " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"], " ", "\[Beta]", " ", "\[Gamma]"}], "+", RowBox[{"b", " ", SuperscriptBox["c", "4"], " ", "\[Beta]", " ", "\[Gamma]"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "3"], " ", SuperscriptBox["\[Gamma]", "2"]}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"], " ", SuperscriptBox["\[Gamma]", "2"]}], "+", RowBox[{ SuperscriptBox["c", "5"], " ", SuperscriptBox["\[Gamma]", "2"]}]}], ")"}]}], ";"}]], "Input",Expression\ UUID->"7a55107d-8cb9-4812-9be2-e6e4740ac7f5"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Factor", ",", RowBox[{"Together", "//@", RowBox[{"ToSidelengths", "[", RowBox[{"Circumcircle", "[", "eqn", "]"}], "]"}]}], ",", RowBox[{"{", "2", "}"}]}], "]"}]], "Input",ExpressionUUID->"40c4f775-168a-\ 4f21-9c7b-988633479f03"], Cell[BoxData[ RowBox[{"Circle", "[", RowBox[{ RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "b"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "3"]}], "-", SuperscriptBox["b", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "c"}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"2", " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"a", " ", SuperscriptBox["c", "3"]}], "-", SuperscriptBox["c", "4"]}], ")"}]}], RowBox[{"2", " ", "a"}]], ",", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "4"]}], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "3"]}], "+", SuperscriptBox["b", "4"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "+", RowBox[{"2", " ", "a", " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"b", " ", SuperscriptBox["c", "3"]}], "-", SuperscriptBox["c", "4"]}], ")"}]}], RowBox[{"2", " ", "b"}]], ",", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "4"]}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "2"]}], "-", SuperscriptBox["b", "4"], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", "c"}], "+", RowBox[{ SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"2", " ", "a", " ", "b", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", SuperscriptBox["c", "3"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "3"]}], "+", SuperscriptBox["c", "4"]}], ")"}]}], RowBox[{"2", " ", "c"}]]}], "}"}], ",", FractionBox[ SqrtBox[ RowBox[{ RowBox[{ SuperscriptBox["a", "4"], " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "4"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"3", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", SuperscriptBox["c", "3"]}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"]}], "+", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "4"]}]}]], SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]]}], "]"}]], "Output",Expres\ sionUUID->"a44bdf40-b9bb-498d-86cf-a5eeac873d35"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"Simplify", "[", RowBox[{ RowBox[{"Together", "//@", RowBox[{"ToSidelengths", "[", RowBox[{"TrigExpand", "[", RowBox[{"CenterFunction", "[", "FuhrmannCenter", "]"}], "]"}], "]"}]}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}], "]"}]], "Input",ExpressionUUID->\ "e753c19e-65be-4524-8097-5fbdba3e219f"], Cell[BoxData[ RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "b"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "3"]}], "-", SuperscriptBox["b", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "c"}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"2", " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"a", " ", SuperscriptBox["c", "3"]}], "-", SuperscriptBox["c", "4"]}], ")"}]}], RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", "b", " ", "c"}]]}]], "Output",ExpressionUUI\ D->"f0ea673f-f99e-4135-8408-f4884889bd0e"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ SqrtBox[ RowBox[{"Factor", "[", FractionBox[ RowBox[{ RowBox[{ SuperscriptBox["a", "4"], " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "4"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"3", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", SuperscriptBox["b", "3"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", SuperscriptBox["c", "3"]}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "3"]}], "+", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "4"]}]}], RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]], "]"}]]], "Input",Expression\ UUID->"ae4a2ec4-f0bb-4042-ac81-e8c5abdf22e9"], Cell[BoxData[ SqrtBox[ RowBox[{"-", FractionBox[ RowBox[{"a", " ", "b", " ", "c", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]]], "Output",ExpressionUUID\ ->"ddf9306c-4b9d-4451-8007-d6896e6d05dd"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"CircleRadius", "[", "FuhrmannCircle", "]"}]], "Input",ExpressionUUID->"d6357868-77f8-46a4-908a-3fc9c8a9a04b"], Cell[BoxData[ FractionBox[ RowBox[{"a", " ", "b", " ", "c", " ", SqrtBox[ FractionBox[ RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], RowBox[{"a", " ", "b", " ", "c"}]]]}], SqrtBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "a"}], "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]]], "Output",ExpressionUUID->\ "6825d22a-e7ed-463c-809a-dbc721ef8af1"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Derivation", "Subsection",ExpressionUUID->"f50ea4a5-57ca-4060-957e-feb6f4982f63"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Simplify", "[", RowBox[{ RowBox[{"Together", "//@", RowBox[{"ToSidelengths", "[", RowBox[{"Solve", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"CircleEquation", "[", "Circumcircle", "]"}], "\[Equal]", "0"}], ",", RowBox[{ RowBox[{"PerpendicularLine", "[", RowBox[{ RowBox[{ RowBox[{"TrilinearVertexMatrix", "[", "MedialTriangle", "]"}], "[", RowBox[{"[", "1", "]"}], "]"}], ",", "\[Alpha]"}], "]"}], "\[Equal]", "0"}], ",", "\[IndentingNewLine]", RowBox[{ RowBox[{"2", RowBox[{"Area", "[", "]"}]}], "\[Equal]", RowBox[{"(", RowBox[{ RowBox[{"a", " ", "\[Alpha]"}], "+", RowBox[{"b", " ", "\[Beta]"}], "+", RowBox[{"c", " ", "\[Gamma]"}]}], ")"}]}]}], "}"}], ",", RowBox[{"{", RowBox[{"\[Alpha]", ",", "\[Beta]", ",", "\[Gamma]"}], "}"}]}], "]"}], "]"}]}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}]], "Input",ExpressionUUID->\ "f2bd62e5-492a-4652-97af-8a0a76903a38"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"\[Beta]", "\[Rule]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], "2"]}], ")"}]}]]}], ",", RowBox[{"\[Gamma]", "\[Rule]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{ RowBox[{"-", "b"}], "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], "2"]}], ")"}]}]]}], ",", RowBox[{"\[Alpha]", "\[Rule]", FractionBox[ RowBox[{"a", " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "2"], "-", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], "2"]}], ")"}]}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"\[Beta]", "\[Rule]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], "2"]}], ")"}]}]]}], ",", RowBox[{"\[Gamma]", "\[Rule]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], "2"]}], ")"}]}]]}], ",", RowBox[{"\[Alpha]", "\[Rule]", FractionBox[ RowBox[{"a", " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "2"], "-", SuperscriptBox[ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], "2"]}], ")"}]}]]}]}], "}"}]}], "}"}]], "Output",ExpressionUUID->"a4e17507-0b6e-4ff5-895f-4096152b8f4a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Factor", ",", "%117", ",", RowBox[{"{", "3", "}"}]}], "]"}]], "Input",ExpressionUUID->"2398fb4d-2bc8-\ 43d4-b2ac-02664fea6259"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"\[Beta]", "\[Rule]", RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]}]}], ",", RowBox[{"\[Gamma]", "\[Rule]", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "-", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]}], ",", RowBox[{"\[Alpha]", "\[Rule]", FractionBox[ RowBox[{"a", " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"\[Beta]", "\[Rule]", RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]}], ",", RowBox[{"\[Gamma]", "\[Rule]", RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "+", "c"}], ")"}], " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]}], ",", RowBox[{"\[Alpha]", "\[Rule]", FractionBox[ RowBox[{"a", " ", SqrtBox[ RowBox[{ RowBox[{"-", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}]}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}], RowBox[{"2", " ", RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]}], "}"}]}], "}"}]], "Output",ExpressionUUID->"a1a4a8b4-a6b2-4fce-a45d-50b4bc08eaf5"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"TrilinearVertexMatrix", "[", "CircumcircleMidArcTriangle", "]"}], ":=", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "a"}], " ", ",", RowBox[{"b", "+", "c"}], ",", RowBox[{"b", "+", "c"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"a", "+", "c"}], ",", RowBox[{"-", "b"}], ",", RowBox[{"a", "+", "c"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"a", "+", "b"}], ",", RowBox[{"a", "+", "b"}], ",", RowBox[{"-", "c"}]}], "}"}]}], "}"}]}]], "Input",ExpressionUUID->\ "b4c0dfe3-caac-4bd1-8e05-ac00092b282c"], Cell[BoxData[ RowBox[{ RowBox[{"General", "::", "\<\"spell1\"\>"}], ":", " ", "\<\"Possible spelling error: new symbol name \ \\\"\\!\\(CircumcircleMidArcTriangle\\)\\\" is similar to existing symbol \ \\\"\\!\\(CircumcirleMidArcTriangle\\)\\\". \\!\\(\\*ButtonBox[\\\"More\ \[Ellipsis]\\\", ButtonStyle->\\\"RefGuideLinkText\\\", ButtonFrame->None, \ ButtonData:>\\\"General::spell1\\\"]\\)\"\>"}]], "Message",ExpressionUUID->\ "0ce695ec-41e3-4f1c-bcd8-6a620d6de420"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"midarcpts", "=", RowBox[{ "TrilinearVertexMatrix", "[", "CircumcircleMidArcTriangle", "]"}]}]], "Input",ExpressionUUID->"86349350-edec-42a9-9e77-ae49811cf3da"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"-", "a"}], ",", RowBox[{"b", "+", "c"}], ",", RowBox[{"b", "+", "c"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"a", "+", "c"}], ",", RowBox[{"-", "b"}], ",", RowBox[{"a", "+", "c"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"a", "+", "b"}], ",", RowBox[{"a", "+", "b"}], ",", RowBox[{"-", "c"}]}], "}"}]}], "}"}]], "Output",ExpressionUUID->\ "bdb31b76-fa8d-4662-8d3b-3624ca74cbf7"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"midpts", "=", RowBox[{"TrilinearVertexMatrix", "[", "MedialTriangle", "]"}]}]], "Input",Ex\ pressionUUID->"1bcadf08-3c13-4060-b936-65d326fa3a29"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", FractionBox["1", "b"], ",", FractionBox["1", "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox["1", "a"], ",", "0", ",", FractionBox["1", "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox["1", "a"], ",", FractionBox["1", "b"], ",", "0"}], "}"}]}], "}"}]], "Output",ExpressionUU\ ID->"bcf37896-1f11-4676-9855-f661642e8552"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Symmetrize", ",", RowBox[{"Reflection", "@@@", RowBox[{"Transpose", "[", RowBox[{"{", RowBox[{"midarcpts", ",", "midpts"}], "}"}], "]"}]}], ",", RowBox[{"{", "2", "}"}]}], "]"}]], "Input",ExpressionUUID->"9e701c0c-ef43-\ 46cf-ada7-227a250c314c"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", RowBox[{"b", " ", "c"}], "+", SuperscriptBox["c", "2"]}], "b"], ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox["b", "2"], "+", RowBox[{"b", " ", "c"}]}], "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["b", "2"]}], "+", RowBox[{"a", " ", "c"}], "+", SuperscriptBox["c", "2"]}], "a"], ",", "b", ",", FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[{"a", " ", "c"}]}], "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ RowBox[{"a", " ", "b"}], "+", SuperscriptBox["b", "2"], "-", SuperscriptBox["c", "2"]}], "a"], ",", FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "+", RowBox[{"a", " ", "b"}], "-", SuperscriptBox["c", "2"]}], "b"], ",", "c"}], "}"}]}], "}"}]], "Output",\ ExpressionUUID->"fc547e08-5155-4adc-b819-6563ab0361dc"] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"TrilinearVertexMatrix", "[", "FuhrmannTriangle", "]"}], ":=", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"a", ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", RowBox[{"b", " ", "c"}], "+", SuperscriptBox["c", "2"]}], "b"], ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "2"]}], "+", SuperscriptBox["b", "2"], "+", RowBox[{"b", " ", "c"}]}], "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["b", "2"]}], "+", RowBox[{"a", " ", "c"}], "+", SuperscriptBox["c", "2"]}], "a"], ",", "b", ",", FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[{"a", " ", "c"}]}], "c"]}], "}"}], ",", RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ RowBox[{"a", " ", "b"}], "+", SuperscriptBox["b", "2"], "-", SuperscriptBox["c", "2"]}], "a"], ",", FractionBox[ RowBox[{ SuperscriptBox["a", "2"], "+", RowBox[{"a", " ", "b"}], "-", SuperscriptBox["c", "2"]}], "b"], ",", "c"}], "}"}]}], "}"}]}]], "Input",ExpressionUUID->"791cb08f-3a81-4019-a605-693848d8d5b6"], Cell["\<\ TrilinearVertexMatrix[FuhrmannTriangle] := {{a, (-a^2 + b*c + c^2)/b, (-a^2 + b^2 + b*c)/c}, {(-b^2 + a*c + c^2)/a, b, (a^2 - b^2 + a*c)/c}, {(a*b + b^2 - c^2)/a, (a^2 + a*b - c^2)/b, c}}\ \>", "Input",ExpressionUUID->"250830fc-2f35-4ef1-ad24-1522e0dfdfdc"] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell["Area", "Section",ExpressionUUID->"15096145-7c21-4db4-971f-913f27655f1a"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"Area", "[", "FuhrmannTriangle", "]"}], "]"}]], "Input",ExpressionUU\ ID->"0030b136-6684-4e34-a560-fd262abbb935"], Cell[BoxData[ FractionBox[ RowBox[{"Area", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "-", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]], "Output",ExpressionUUID->\ "5d97b4b3-3bf4-4657-a620-927b53da5624"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"area", "=", RowBox[{"Factor", "[", RowBox[{"FullSimplify", "[", RowBox[{ RowBox[{"Factor", "[", RowBox[{"ToSidelengths", "[", RowBox[{"Area", "[", "FuhrmannTriangle", "]"}], "]"}], "]"}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}], "]"}]}]], "Input",ExpressionUUI\ D->"4221a317-bdec-4c8c-ab3b-c175a9fdf17c"], Cell[BoxData[ RowBox[{ RowBox[{"General", "::", "\<\"spell1\"\>"}], ":", " ", "\<\"Possible spelling error: new symbol name \\\"\\!\\(area\\)\\\" is \ similar to existing symbol \\\"\\!\\(Area\\)\\\". \\!\\(\\*ButtonBox[\\\"More\ \[Ellipsis]\\\", ButtonStyle->\\\"RefGuideLinkText\\\", ButtonFrame->None, \ ButtonData:>\\\"General::spell1\\\"]\\)\"\>"}]], "Message",ExpressionUUID->\ "f80edb4e-20fc-45b4-aa7d-b79eb559f527"], Cell[BoxData[ RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{"4", " ", SqrtBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "a"}], "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]]}]], "Output",ExpressionU\ UID->"d44bc26a-0746-47fd-9d40-a1b8a70f5035"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"FullSimplify", "[", RowBox[{ RowBox[{"area", FractionBox["R", RowBox[{"ToSidelengths", "[", "Circumradius", "]"}]]}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}], "]"}]], "Input",ExpressionUUID->\ "8b026ee6-c1bc-44a0-ae94-6cad49de2a29"], Cell[BoxData[ RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}], " ", "R"}], RowBox[{"4", " ", "a", " ", "b", " ", "c"}]]}]], "Output",ExpressionUUID->\ "e4e5cda7-0cf5-4626-80d3-1721c54535bd"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"FullSimplify", "[", RowBox[{ RowBox[{"area", FractionBox[ RowBox[{"ToSidelengths", "[", "Inradius", "]"}], "r"]}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}], "]"}]], "Input",ExpressionUUID->\ "023f7a97-5273-4d0b-bb20-d98babde2beb"], Cell[BoxData[ RowBox[{"-", FractionBox[ RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], RowBox[{"8", " ", "r"}]]}]], "Output",ExpressionUUID->"0803a4a6-00bc-49dc-\ 8f7f-7095a58af12a"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"-", RowBox[{"FullSimplify", "[", RowBox[{ RowBox[{"ToSidelengths", "[", RowBox[{ RowBox[{ RowBox[{"Distance", "[", RowBox[{"Incenter", ",", "Circumcenter"}], "]"}], "^", "2"}], FractionBox[ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], RowBox[{"4", "Circumradius"}]]}], "]"}], ",", RowBox[{"TriangleQ", "[", "]"}]}], "]"}]}], "]"}]], "Input",ExpressionUUI\ D->"e6e95de0-e52e-4164-a20a-c2ea3e7695d7"], Cell[BoxData[ RowBox[{"-", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{"4", " ", SqrtBox[ RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "a"}], "+", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}]}]]}]]}]], "Output",ExpressionU\ UID->"dd47a2cd-2b61-41fe-a8c2-78c384432ef5"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Sidelengths", "Section",ExpressionUUID->"5e3ee1a0-e870-4da7-ac3a-07606e14cdcd"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Sqrt", "[", RowBox[{"Factor", "[", RowBox[{ RowBox[{"Simplify", "[", RowBox[{ RowBox[{"SideLengths", "[", "FuhrmannTriangle", "]"}], ",", RowBox[{"Area", ">", "0"}]}], "]"}], "^", "2"}], "]"}], "]"}]], "Input",\ ExpressionUUID->"d8fb7353-8e28-49a8-9925-898c856c3b15"], Cell[BoxData[ RowBox[{"{", RowBox[{ SqrtBox[ FractionBox[ RowBox[{"a", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]], ",", SqrtBox[ FractionBox[ RowBox[{"b", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "a"}], "+", "b", "+", "c"}], ")"}]}]]], ",", SqrtBox[ FractionBox[ RowBox[{"c", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}], " ", RowBox[{"(", RowBox[{ RowBox[{"-", "a"}], "+", "b", "+", "c"}], ")"}]}]]]}], "}"}]], "Output",ExpressionUUID->"7336a552-cb82-4a2f-b9e2-58446b9b77bb"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Factor", "[", RowBox[{"Simplify", "[", RowBox[{"Factor", "[", RowBox[{"ToSidelengths", "[", FractionBox[ RowBox[{ RowBox[{"(", RowBox[{"b", "+", "c", "-", "a"}], ")"}], RowBox[{"(", RowBox[{"a", "+", "b", "+", "c"}], ")"}], SuperscriptBox[ RowBox[{"Distance", "[", RowBox[{"Circumcenter", ",", "Incenter"}], "]"}], "2"]}], RowBox[{"b", " ", "c"}]], "]"}], "]"}], "]"}], "]"}]], "Input",Expressio\ nUUID->"28a251cd-8965-4b45-8e3d-dd13f85647aa"], Cell[BoxData[ FractionBox[ RowBox[{"a", " ", RowBox[{"(", RowBox[{ SuperscriptBox["a", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"]}], "+", SuperscriptBox["b", "3"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "c"}], "+", RowBox[{"3", " ", "a", " ", "b", " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "2"]}], "+", SuperscriptBox["c", "3"]}], ")"}]}], RowBox[{ RowBox[{"(", RowBox[{"a", "+", "b", "-", "c"}], ")"}], " ", RowBox[{"(", RowBox[{"a", "-", "b", "+", "c"}], ")"}]}]]], "Output",ExpressionUUID->\ "bb461f13-2a1f-4612-b497-e01f48db5612"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Points", "Section",ExpressionUUID->"c4ee4bc0-aa3c-4935-a07b-130b5951cb50"], Cell[BoxData["\<\"Rehashing triangle centers...\"\>"], "Print",ExpressionUUID->"7e9ff128-7995-4293-9942-54b0087597f2"], Cell[CellGroupData[{ Cell["Circumcenter", "Subsection",ExpressionUUID->"63364683-f454-437e-8b7d-50bf4054b7cb"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"cc", "=", RowBox[{"Symmetrize", "[", RowBox[{"Circumcenter", "[", "FuhrmannTriangle", "]"}], "]"}]}]], "Input",E\ xpressionUUID->"43c7d82b-848a-4b48-8f5f-eeac01a7910f"], Cell[BoxData[ RowBox[{"{", RowBox[{ FractionBox[ RowBox[{ SuperscriptBox["a", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "b"}], "+", RowBox[{"a", " ", SuperscriptBox["b", "3"]}], "-", SuperscriptBox["b", "4"], "-", RowBox[{ SuperscriptBox["a", "3"], " ", "c"}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"2", " ", SuperscriptBox["b", "2"], " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"a", " ", SuperscriptBox["c", "3"]}], "-", SuperscriptBox["c", "4"]}], "a"], ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "4"]}], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "b"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "3"]}], "+", SuperscriptBox["b", "4"], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "+", RowBox[{"2", " ", "a", " ", SuperscriptBox["b", "2"], " ", "c"}], "-", RowBox[{ SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", "b", " ", SuperscriptBox["c", "2"]}], "+", RowBox[{"b", " ", SuperscriptBox["c", "3"]}], "-", SuperscriptBox["c", "4"]}], "b"], ",", FractionBox[ RowBox[{ RowBox[{"-", SuperscriptBox["a", "4"]}], "+", RowBox[{"2", " ", SuperscriptBox["a", "2"], " ", SuperscriptBox["b", "2"]}], "-", SuperscriptBox["b", "4"], "+", RowBox[{ SuperscriptBox["a", "3"], " ", "c"}], "-", RowBox[{ SuperscriptBox["a", "2"], " ", "b", " ", "c"}], "-", RowBox[{"a", " ", SuperscriptBox["b", "2"], " ", "c"}], "+", RowBox[{ SuperscriptBox["b", "3"], " ", "c"}], "+", RowBox[{"2", " ", "a", " ", "b", " ", SuperscriptBox["c", "2"]}], "-", RowBox[{"a", " ", SuperscriptBox["c", "3"]}], "-", RowBox[{"b", " ", SuperscriptBox["c", "3"]}], "+", SuperscriptBox["c", "4"]}], "c"]}], "}"}]], "Output",ExpressionUUID->\ "d50ec726-63f0-4770-9f6e-e445e50eae6f"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"IncidentCenters", "[", RowBox[{"KimberlingCenters", ",", "cc"}], "]"}], "//", "Timing"}]], "Input",\ ExpressionUUID->"d152d75a-abec-465e-aee4-39e0b77b9da0"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"42.08`", " ", "Second"}], ",", RowBox[{"{", RowBox[{"X", "[", "355", "]"}], "}"}]}], "}"}]], "Output",ExpressionUUID->\ "614a1dc8-e315-4805-9a74-507b9b99aafd"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Name", "[", RowBox[{"X", "[", "355", "]"}], "]"}]], "Input",ExpressionUUID->"55406cf1-\ 2473-44af-9a28-c2e8b1e276f4"], Cell[BoxData["\<\"Fuhrmann center\"\>"], "Output",ExpressionUUID->"4f2c8f0a-25eb-46bf-b653-d1a2ced2244d"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Incenter", "Subsection",ExpressionUUID->"075c55d6-94fd-4253-b0f3-c507d6b1b439"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Incenter", "[", "FuhrmannTriangle", "]"}]], "Input",ExpressionUUID->"dd4bd117-603f-4db7-8ffc-61222619a042"], Cell[BoxData[ RowBox[{"Incenter", "[", "FuhrmannTriangle", "]"}]], "Output",ExpressionUUID->"0a68e3dd-4bce-4765-be9a-ec7d5e04e68e"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Nine-Point Center", "Subsection",ExpressionUUID->"75d7231d-a75a-4203-92a9-37eb39438df4"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"NinePointCenter", "[", "FuhrmannTriangle", "]"}]], "Input",Expressio\ nUUID->"190347b2-a3e4-46ae-99ba-f7a19f862bc4"], Cell[BoxData[ RowBox[{"NinePointCenter", "[", "FuhrmannTriangle", "]"}]], "Output",Expressi\ onUUID->"5c78cebd-bcee-41dc-b34d-88253acd6ccd"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Orthocenter", "Subsection",ExpressionUUID->"4e41636d-2c7d-4b00-9044-7e220ed42bb3"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"oc", "=", RowBox[{"-", RowBox[{"Symmetrize", "[", RowBox[{"Factor", "[", RowBox[{"ToSidelengths", "[", RowBox[{"Orthocenter", "[", "FuhrmannTriangle", "]"}], "]"}], "]"}], "]"}]}]}]], "Input",ExpressionUUID->"3cf2f6c6-bfe1-4cb3-ab90-\ 2f9aa75f324b"], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]], "Output",ExpressionUUID->\ "e730424b-94c8-4c29-82ff-f6fd4f3fc778"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"IncidentCenters", "[", RowBox[{"KimberlingCenters", ",", "oc"}], "]"}], "//", "Timing"}]], "Input",\ ExpressionUUID->"6af1d98c-650f-491d-998b-7c9fa7d9571b"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"30.61`", " ", "Second"}], ",", RowBox[{"{", RowBox[{"X", "[", "1", "]"}], "}"}]}], "}"}]], "Output",ExpressionUUID->\ "ce8730fb-22cc-452e-95d7-b75f00797531"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Name", "[", RowBox[{"X", "[", "1", "]"}], "]"}]], "Input",ExpressionUUID->"65d61bc8-\ dc74-428c-9ab1-a98b4fae495c"], Cell[BoxData["\<\"incenter\"\>"], "Output",ExpressionUUID->"ea23b36e-13bd-4c9e-a4cc-c179d5b4706f"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Symmedian Point", "Subsection",ExpressionUUID->"ae93f83d-d563-4739-86cf-177ccfc4b1b6"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"sp", "=", RowBox[{"SymmedianPoint", "[", "FuhrmannTriangle", "]"}]}]], "Input",Express\ ionUUID->"53e3482c-f93f-49dc-8edf-3eb08955bf9d"], Cell[BoxData[ RowBox[{"SymmedianPoint", "[", "FuhrmannTriangle", "]"}]], "Output",Expressio\ nUUID->"ef6b8334-0a23-4c0d-8056-3223b98c09f3"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Centers", "Section",ExpressionUUID->"d05ba72c-4837-4e5e-9c8f-d7c7b2d6f23a"], Cell[BoxData["\<\"Rehashing triangle centers...\"\>"], "Print",ExpressionUUID->"e705cbe6-f906-41b8-a453-a345f060f6fb"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"pts", "=", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"#", ",", RowBox[{"KimberlingLookup", "[", RowBox[{"#", "[", "FuhrmannTriangle", "]"}], "]"}]}], "}"}], "&"}], "/@", RowBox[{"Take", "[", RowBox[{"KimberlingCenters", ",", "All"}], "]"}]}]}], ")"}], ";"}], "//", "Timing"}]], "Input",ExpressionUUID->"8dd8b9a5-8f62-4585-a1e7-\ cbe617c65c43"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"4192.7906`", " ", "Second"}], ",", "Null"}], "}"}]], "Output",Expr\ essionUUID->"d98ddd3b-741d-41b9-a456-1fd307d98f48"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"l", "=", RowBox[{"Map", "[", RowBox[{"First", ",", RowBox[{"DeleteCases", "[", RowBox[{"pts", ",", RowBox[{"_", "?", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Last", "[", "#", "]"}], "===", RowBox[{"{", "}"}]}], "&"}], ")"}]}]}], "]"}], ",", RowBox[{"{", "2", "}"}]}], "]"}]}]], "Input",ExpressionUUID->"563b461f-\ 303f-4cc9-974e-81668ee26f2b"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"3", ",", "355"}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"5", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"24", ",", "1837"}], "}"}], ",", RowBox[{"{", RowBox[{"30", ",", "952"}], "}"}], ",", RowBox[{"{", RowBox[{"54", ",", "2475"}], "}"}], ",", RowBox[{"{", RowBox[{"68", ",", "1158"}], "}"}], ",", RowBox[{"{", RowBox[{"74", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"110", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"113", ",", "946"}], "}"}], ",", RowBox[{"{", RowBox[{"125", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"186", ",", "80"}], "}"}], ",", RowBox[{"{", RowBox[{"235", ",", "496"}], "}"}], ",", RowBox[{"{", RowBox[{"265", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"403", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"427", ",", "495"}], "}"}], ",", RowBox[{"{", RowBox[{"511", ",", "2801"}], "}"}], ",", RowBox[{"{", RowBox[{"520", ",", "2827"}], "}"}], ",", RowBox[{"{", RowBox[{"523", ",", "900"}], "}"}], ",", RowBox[{"{", RowBox[{"525", ",", "2826"}], "}"}], ",", RowBox[{"{", RowBox[{"526", ",", "513"}], "}"}], ",", RowBox[{"{", RowBox[{"542", ",", "516"}], "}"}], ",", RowBox[{"{", RowBox[{"690", ",", "514"}], "}"}], ",", RowBox[{"{", RowBox[{"1112", ",", "942"}], "}"}], ",", RowBox[{"{", RowBox[{"1154", ",", "2771"}], "}"}], ",", RowBox[{"{", RowBox[{"1503", ",", "528"}], "}"}], ",", RowBox[{"{", RowBox[{"1594", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"1986", ",", "65"}], "}"}], ",", RowBox[{"{", RowBox[{"2072", ",", "119"}], "}"}], ",", RowBox[{"{", RowBox[{"2777", ",", "519"}], "}"}], ",", RowBox[{"{", RowBox[{"2781", ",", "518"}], "}"}], ",", RowBox[{"{", RowBox[{"2914", ",", "79"}], "}"}]}], "}"}]], "Output",ExpressionUUID->\ "73e03e61-7430-4d10-9d6b-8ff889d8c658"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"#", "[", RowBox[{"[", "1", "]"}], "]"}], ",", RowBox[{"Name", "[", RowBox[{"#", "[", RowBox[{"[", "1", "]"}], "]"}], "]"}], ",", RowBox[{"X", "[", RowBox[{"#", "[", RowBox[{"[", RowBox[{"2", ",", "1"}], "]"}], "]"}], "]"}], ",", RowBox[{"Name", "[", RowBox[{"X", "[", RowBox[{"#", "[", RowBox[{"[", RowBox[{"2", ",", "1"}], "]"}], "]"}], "]"}], "]"}]}], "}"}], "&"}], "/@", RowBox[{"Cases", "[", RowBox[{"pts", ",", RowBox[{"_", "?", RowBox[{"(", RowBox[{ RowBox[{ RowBox[{"Last", "[", "#", "]"}], "=!=", RowBox[{"{", "}"}]}], "&"}], ")"}]}]}], "]"}]}], "//", "TableForm"}]], "Input",ExpressionUUID->"f9d11387-a1da-43cf-862c-\ 701c8c595138"], Cell[BoxData[ TagBox[GridBox[{ { RowBox[{"X", "[", "3", "]"}], "\<\"circumcenter\"\>", RowBox[{"X", "[", "355", "]"}], "\<\"Fuhrmann center\"\>"}, { RowBox[{"X", "[", "4", "]"}], "\<\"orthocenter\"\>", RowBox[{"X", "[", "1", "]"}], "\<\"incenter\"\>"}, { RowBox[{"X", "[", "5", "]"}], "\<\"nine-point center\"\>", RowBox[{"X", "[", "5", "]"}], "\<\"nine-point center\"\>"}, { RowBox[{ "X", "[", "24", "]"}], "\<\"perspector of abc and orthic-of-orthic triangle\"\>", RowBox[{"X", "[", "1837", "]"}], "\<\"Zosma transform of X(34)\"\>"}, { RowBox[{"X", "[", "30", "]"}], "\<\"Euler infinity point\"\>", RowBox[{ "X", "[", "952", "]"}], "\<\"intersection of X(1)X(5) and X(3)X(8)\"\>"}, { RowBox[{"X", "[", "54", "]"}], "\<\"Kosnita point\"\>", RowBox[{"X", "[", "2475", "]"}], "\<\"anticomplement of X(21)\"\>"}, { RowBox[{"X", "[", "68", "]"}], "\<\"Prasolov point\"\>", RowBox[{ "X", "[", "1158", "]"}], "\<\"circumcenter of extouch triangle\"\>"}, { RowBox[{"X", "[", "74", "]"}], "\<\"X(74)\"\>", RowBox[{"X", "[", "8", "]"}], "\<\"Nagel point\"\>"}, { RowBox[{"X", "[", "110", "]"}], "\<\"focus of Kiepert parabola\"\>", RowBox[{"X", "[", "4", "]"}], "\<\"orthocenter\"\>"}, { RowBox[{"X", "[", "113", "]"}], "\<\"Jerabek antipode\"\>", RowBox[{"X", "[", "946", "]"}], "\<\"midpoint of X(1) and X(4)\"\>"}, { RowBox[{"X", "[", "125", "]"}], "\<\"center of Jerabek hyperbola\"\>", RowBox[{"X", "[", "10", "]"}], "\<\"Spieker center\"\>"}, { RowBox[{ "X", "[", "186", "]"}], "\<\"inverse-in-circumcircle of X(4)\"\>", RowBox[{ "X", "[", "80", "]"}], "\<\"reflection of incenter in Feuerbach point\"\>"}, { RowBox[{"X", "[", "235", "]"}], "\<\"X(4)-Ceva conjugate of X(185)\"\>", RowBox[{ "X", "[", "496", "]"}], "\<\"{X(1),X(5)}-harmonic conjugate of X(495)\"\>"}, { RowBox[{"X", "[", "265", "]"}], "\<\"reflection of X(3) in X(125)\"\>", RowBox[{"X", "[", "3", "]"}], "\<\"circumcenter\"\>"}, { RowBox[{"X", "[", "403", "]"}], "\<\"X(36) of the orthic triangle\"\>", RowBox[{"X", "[", "11", "]"}], "\<\"Feuerbach point\"\>"}, { RowBox[{"X", "[", "427", "]"}], "\<\"complement of X(22)\"\>", RowBox[{"X", "[", "495", "]"}], "\<\"Johnson midpoint\"\>"}, { RowBox[{"X", "[", "511", "]"}], "\<\"isogonal conjugate of X(98)\"\>", RowBox[{"X", "[", "2801", "]"}], "\<\"isogonal conjugate of X(2717)\"\>"}, { RowBox[{"X", "[", "520", "]"}], "\<\"isogonal conjugate of X(107)\"\>", RowBox[{"X", "[", "2827", "]"}], "\<\"isogonal conjugate of X(2743)\"\>"}, { RowBox[{"X", "[", "523", "]"}], "\<\"isogonal conjugate of X(110)\"\>", RowBox[{ "X", "[", "900", "]"}], "\<\"crossdifference of X(6) and X(101)\"\>"}, { RowBox[{"X", "[", "525", "]"}], "\<\"isogonal conjugate of X(112)\"\>", RowBox[{"X", "[", "2826", "]"}], "\<\"isogonal conjugate of X(2742)\"\>"}, { RowBox[{"X", "[", "526", "]"}], "\<\"isogonal conjugate of X(476)\"\>", RowBox[{"X", "[", "513", "]"}], "\<\"isogonal conjugate of X(100)\"\>"}, { RowBox[{ "X", "[", "542", "]"}], "\<\"direction of vector ax + bx + cx, where X = X(98)\"\>", RowBox[{"X", "[", "516", "]"}], "\<\"isogonal conjugate of X(103)\"\>"}, { RowBox[{ "X", "[", "690", "]"}], "\<\"crossdifference of line X(6) and X(110)\"\>", RowBox[{"X", "[", "514", "]"}], "\<\"isogonal conjugate of X(101)\"\>"}, { RowBox[{"X", "[", "1112", "]"}], "\<\"crosspoint of X(4) and X(250)\"\>", RowBox[{"X", "[", "942", "]"}], "\<\"inverse-in-incircle of X(36)\"\>"}, { RowBox[{"X", "[", "1154", "]"}], "\<\"isogonal conjugate of X(1141)\"\>", RowBox[{"X", "[", "2771", "]"}], "\<\"isogonal conjugate of X(2687)\"\>"}, { RowBox[{"X", "[", "1503", "]"}], "\<\"orthopoint of X(525)\"\>", RowBox[{ "X", "[", "528", "]"}], "\<\"direction of vector ax + bx + cx, where X = X(11)\"\>"}, { RowBox[{"X", "[", "1594", "]"}], "\<\"Rigby-lalescu orthopole\"\>", RowBox[{ "X", "[", "12", "]"}], "\<\"{X(1),X(5)}-harmonic conjugate of X(11)\"\>"}, { RowBox[{"X", "[", "1986", "]"}], "\<\"Hatzipolakis reflection point\"\>", RowBox[{ "X", "[", "65", "]"}], "\<\"orthocenter of the intouch triangle\"\>"}, { RowBox[{ "X", "[", "2072", "]"}], "\<\"inverse-in-circumcircle of X(26)\"\>", RowBox[{"X", "[", "119", "]"}], "\<\"Feuerbach antipode\"\>"}, { RowBox[{"X", "[", "2777", "]"}], "\<\"isogonal conjugate of X(2693)\"\>", RowBox[{"X", "[", "519", "]"}], "\<\"isogonal conjugate of X(106)\"\>"}, { RowBox[{"X", "[", "2781", "]"}], "\<\"isogonal conjugate of X(2697)\"\>", RowBox[{"X", "[", "518", "]"}], "\<\"isogonal conjugate of X(105)\"\>"}, { RowBox[{ "X", "[", "2914", "]"}], "\<\"orthic isogonal conjugate of X(186)\"\>", RowBox[{"X", "[", "79", "]"}], "\<\"isogonal conjugate of X(35)\"\>"} }, GridBoxAlignment->{ "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, "RowsIndexed" -> {}}, GridBoxSpacings->{"Columns" -> { Offset[0.27999999999999997`], { Offset[0.7]}, Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}, "RowsIndexed" -> {}}], Function[BoxForm`e$, MatrixForm[BoxForm`e$]]]], "Output",ExpressionUUID->"f09488e0-f5b5-48e5-\ a6cb-e13a62d8100e"] }, Open ]] }, Open ]] }, Open ]] }, WindowSize->{809, 720}, WindowMargins->{{174, Automatic}, {45, Automatic}}, ShowSelection->True, FrontEndVersion->"11.1 for Mac OS X x86 (32-bit, 64-bit Kernel) (June 2, \ 2017)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[580, 22, 89, 0, 92, "Title", "ExpressionUUID" -> \ "a510dd5b-7bcc-435a-9ebf-411e2f317811"], Cell[CellGroupData[{ Cell[694, 26, 83, 0, 44, "Subsection", "ExpressionUUID" -> \ "7d0c8252-689d-48ca-b41c-4ef21d113aaa"], Cell[780, 28, 114, 3, 49, "Text", "ExpressionUUID" -> \ "6f3dbb3e-967f-4211-b8a7-02a76ce1afa6"], Cell[897, 33, 348, 9, 49, "Text", "ExpressionUUID" -> \ "d8c6a49c-8830-4b98-b25a-766bea79fa0c"], Cell[1248, 44, 362, 10, 30, "Text", "ExpressionUUID" -> \ "1b36551e-3d72-4eaa-acf7-f29474828f07"], Cell[1613, 56, 154, 2, 30, "Text", "ExpressionUUID" -> \ "39016eff-f527-42d0-be82-5896a6b6c35e"] }, Open ]], Cell[CellGroupData[{ Cell[1804, 63, 91, 0, 64, "Section", "ExpressionUUID" -> \ "6b67c655-0a29-42a6-b85d-a220f488f28f"], Cell[CellGroupData[{ Cell[1920, 67, 83, 0, 44, "Subsection", "ExpressionUUID" -> \ "0dabbe37-6b2c-4561-a55d-593be87d8bc3"], Cell[CellGroupData[{ Cell[2028, 71, 5817, 141, 763, "Input", "ExpressionUUID" -> \ "53f864aa-e50a-4ffb-a6d3-ea3125414022"], Cell[7848, 214, 36127, 1254, 70, 28737, 1131, "GraphicsData", "PostScript", \ "Graphics", "ExpressionUUID" -> "7febc100-626a-465d-b640-c0f69746bae6"], Cell[43978, 1470, 191, 5, 70, "Output", "ExpressionUUID" -> \ "53b338ba-2b7a-4813-9664-5bb79eebe39d"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[44218, 1481, 100, 0, 70, "Subsection", "ExpressionUUID" -> \ "be1ae2bf-a120-4a4a-a478-cd2a02718f36"], Cell[CellGroupData[{ Cell[44343, 1485, 187, 4, 70, "Input", "ExpressionUUID" -> \ "cbf77c30-16a5-4be6-8d1d-0cf628608d59"], Cell[44533, 1491, 1628, 51, 70, "Output", "ExpressionUUID" -> \ "660d832d-7063-4c24-bdc1-29766fe13cbc"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[46210, 1548, 103, 0, 70, "Subsection", "ExpressionUUID" -> \ "feef5318-d7b7-47a1-8221-8da25519e1df"], Cell[CellGroupData[{ Cell[46338, 1552, 738, 18, 70, "Input", "ExpressionUUID" -> \ "c10caef6-1ded-4a78-a921-ad42e5e9d683"], Cell[47079, 1572, 1340, 43, 70, "Output", "ExpressionUUID" -> \ "0791cf6f-4394-466c-b26f-847c8b079a47"] }, Open ]], Cell[CellGroupData[{ Cell[48456, 1620, 129, 1, 70, "Input", "ExpressionUUID" -> \ "452b05cb-be99-4056-992e-e27825c6f797"], Cell[48588, 1623, 233, 6, 70, "Output", "ExpressionUUID" -> \ "600de365-71e2-4da1-bba7-b86d8e646ace"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[48870, 1635, 99, 0, 70, "Subsection", "ExpressionUUID" -> \ "0ec08c71-4d52-4b2b-8091-ebc6d721ab19"], Cell[CellGroupData[{ Cell[48994, 1639, 256, 5, 70, "Input", "ExpressionUUID" -> \ "1db705c5-4934-4f84-b81b-2a7521a00e63"], Cell[49253, 1646, 4642, 128, 70, "Output", "ExpressionUUID" -> \ "e94fa599-eba0-406c-b125-5d3ec012650d"] }, Open ]], Cell[53910, 1777, 2960, 79, 70, "Input", "ExpressionUUID" -> \ "7a55107d-8cb9-4812-9be2-e6e4740ac7f5"], Cell[CellGroupData[{ Cell[56895, 1860, 294, 7, 70, "Input", "ExpressionUUID" -> \ "40c4f775-168a-4f21-9c7b-988633479f03"], Cell[57192, 1869, 4528, 130, 70, "Output", "ExpressionUUID" -> \ "a44bdf40-b9bb-498d-86cf-a5eeac873d35"] }, Open ]], Cell[CellGroupData[{ Cell[61757, 2004, 390, 10, 70, "Input", "ExpressionUUID" -> \ "e753c19e-65be-4524-8097-5fbdba3e219f"], Cell[62150, 2016, 1030, 30, 70, "Output", "ExpressionUUID" -> \ "f0ea673f-f99e-4135-8408-f4884889bd0e"] }, Open ]], Cell[CellGroupData[{ Cell[63217, 2051, 1449, 43, 70, "Input", "ExpressionUUID" -> \ "ae4a2ec4-f0bb-4042-ac81-e8c5abdf22e9"], Cell[64669, 2096, 1094, 32, 70, "Output", "ExpressionUUID" -> \ "ddf9306c-4b9d-4451-8007-d6896e6d05dd"] }, Open ]], Cell[CellGroupData[{ Cell[65800, 2133, 133, 1, 70, "Input", "ExpressionUUID" -> \ "d6357868-77f8-46a4-908a-3fc9c8a9a04b"], Cell[65936, 2136, 1115, 34, 70, "Output", "ExpressionUUID" -> \ "6825d22a-e7ed-463c-809a-dbc721ef8af1"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[67100, 2176, 87, 0, 70, "Subsection", "ExpressionUUID" -> \ "f50ea4a5-57ca-4060-957e-feb6f4982f63"], Cell[CellGroupData[{ Cell[67212, 2180, 1211, 32, 70, "Input", "ExpressionUUID" -> \ "f2bd62e5-492a-4652-97af-8a0a76903a38"], Cell[68426, 2214, 4797, 147, 70, "Output", "ExpressionUUID" -> \ "a4e17507-0b6e-4ff5-895f-4096152b8f4a"] }, Open ]], Cell[CellGroupData[{ Cell[73260, 2366, 178, 4, 70, "Input", "ExpressionUUID" -> \ "2398fb4d-2bc8-43d4-b2ac-02664fea6259"], Cell[73441, 2372, 4545, 132, 70, "Output", "ExpressionUUID" -> \ "a1a4a8b4-a6b2-4fce-a45d-50b4bc08eaf5"] }, Open ]], Cell[CellGroupData[{ Cell[78023, 2509, 653, 20, 70, "Input", "ExpressionUUID" -> \ "b4c0dfe3-caac-4bd1-8e05-ac00092b282c"], Cell[78679, 2531, 474, 8, 70, "Message", "ExpressionUUID" -> \ "0ce695ec-41e3-4f1c-bcd8-6a620d6de420"] }, Open ]], Cell[CellGroupData[{ Cell[79190, 2544, 192, 4, 70, "Input", "ExpressionUUID" -> \ "86349350-edec-42a9-9e77-ae49811cf3da"], Cell[79385, 2550, 536, 18, 70, "Output", "ExpressionUUID" -> \ "bdb31b76-fa8d-4662-8d3b-3624ca74cbf7"] }, Open ]], Cell[CellGroupData[{ Cell[79958, 2573, 172, 3, 70, "Input", "ExpressionUUID" -> \ "1bcadf08-3c13-4060-b936-65d326fa3a29"], Cell[80133, 2578, 461, 15, 70, "Output", "ExpressionUUID" -> \ "bcf37896-1f11-4676-9855-f661642e8552"] }, Open ]], Cell[CellGroupData[{ Cell[80631, 2598, 318, 8, 70, "Input", "ExpressionUUID" -> \ "9e701c0c-ef43-46cf-ada7-227a250c314c"], Cell[80952, 2608, 1271, 42, 70, "Output", "ExpressionUUID" -> \ "fc547e08-5155-4adc-b819-6563ab0361dc"] }, Open ]], Cell[82238, 2653, 1399, 44, 70, "Input", "ExpressionUUID" -> \ "791cb08f-3a81-4019-a605-693848d8d5b6"], Cell[83640, 2699, 278, 5, 70, "Input", "ExpressionUUID" -> \ "250830fc-2f35-4ef1-ad24-1522e0dfdfdc"] }, Closed]] }, Open ]], Cell[CellGroupData[{ Cell[83967, 2710, 78, 0, 70, "Section", "ExpressionUUID" -> \ "15096145-7c21-4db4-971f-913f27655f1a"], Cell[CellGroupData[{ Cell[84070, 2714, 162, 3, 70, "Input", "ExpressionUUID" -> \ "0030b136-6684-4e34-a560-fd262abbb935"], Cell[84235, 2719, 921, 28, 70, "Output", "ExpressionUUID" -> \ "5d97b4b3-3bf4-4657-a620-927b53da5624"] }, Open ]], Cell[CellGroupData[{ Cell[85193, 2752, 372, 9, 70, "Input", "ExpressionUUID" -> \ "4221a317-bdec-4c8c-ab3b-c175a9fdf17c"], Cell[85568, 2763, 429, 7, 70, "Message", "ExpressionUUID" -> \ "f80edb4e-20fc-45b4-aa7d-b79eb559f527"], Cell[86000, 2772, 1174, 36, 70, "Output", "ExpressionUUID" -> \ "d44bc26a-0746-47fd-9d40-a1b8a70f5035"] }, Open ]], Cell[CellGroupData[{ Cell[87211, 2813, 314, 8, 70, "Input", "ExpressionUUID" -> \ "8b026ee6-c1bc-44a0-ae94-6cad49de2a29"], Cell[87528, 2823, 860, 25, 70, "Output", "ExpressionUUID" -> \ "e4e5cda7-0cf5-4626-80d3-1721c54535bd"] }, Open ]], Cell[CellGroupData[{ Cell[88425, 2853, 310, 8, 70, "Input", "ExpressionUUID" -> \ "023f7a97-5273-4d0b-bb20-d98babde2beb"], Cell[88738, 2863, 686, 21, 70, "Output", "ExpressionUUID" -> \ "0803a4a6-00bc-49dc-8f7f-7095a58af12a"] }, Open ]], Cell[CellGroupData[{ Cell[89461, 2889, 545, 15, 70, "Input", "ExpressionUUID" -> \ "e6e95de0-e52e-4164-a20a-c2ea3e7695d7"], Cell[90009, 2906, 1174, 36, 70, "Output", "ExpressionUUID" -> \ "dd47a2cd-2b61-41fe-a8c2-78c384432ef5"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[91232, 2948, 85, 0, 70, "Section", "ExpressionUUID" -> \ "5e3ee1a0-e870-4da7-ac3a-07606e14cdcd"], Cell[CellGroupData[{ Cell[91342, 2952, 321, 8, 70, "Input", "ExpressionUUID" -> \ "d8fb7353-8e28-49a8-9925-898c856c3b15"], Cell[91666, 2962, 2745, 83, 70, "Output", "ExpressionUUID" -> \ "7336a552-cb82-4a2f-b9e2-58446b9b77bb"] }, Open ]], Cell[CellGroupData[{ Cell[94448, 3050, 557, 15, 70, "Input", "ExpressionUUID" -> \ "28a251cd-8965-4b45-8e3d-dd13f85647aa"], Cell[95008, 3067, 849, 26, 70, "Output", "ExpressionUUID" -> \ "bb461f13-2a1f-4612-b497-e01f48db5612"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[95906, 3099, 80, 0, 70, "Section", "ExpressionUUID" -> \ "c4ee4bc0-aa3c-4935-a07b-130b5951cb50"], Cell[95989, 3101, 118, 0, 70, "Print", "ExpressionUUID" -> \ "7e9ff128-7995-4293-9942-54b0087597f2"], Cell[CellGroupData[{ Cell[96132, 3105, 89, 0, 70, "Subsection", "ExpressionUUID" -> \ "63364683-f454-437e-8b7d-50bf4054b7cb"], Cell[CellGroupData[{ Cell[96246, 3109, 199, 4, 70, "Input", "ExpressionUUID" -> \ "43c7d82b-848a-4b48-8f5f-eeac01a7910f"], Cell[96448, 3115, 2368, 71, 70, "Output", "ExpressionUUID" -> \ "d50ec726-63f0-4770-9f6e-e445e50eae6f"] }, Open ]], Cell[CellGroupData[{ Cell[98853, 3191, 195, 4, 70, "Input", "ExpressionUUID" -> \ "d152d75a-abec-465e-aee4-39e0b77b9da0"], Cell[99051, 3197, 220, 6, 70, "Output", "ExpressionUUID" -> \ "614a1dc8-e315-4805-9a74-507b9b99aafd"] }, Open ]], Cell[CellGroupData[{ Cell[99308, 3208, 144, 3, 70, "Input", "ExpressionUUID" -> \ "55406cf1-2473-44af-9a28-c2e8b1e276f4"], Cell[99455, 3213, 105, 0, 70, "Output", "ExpressionUUID" -> \ "4f2c8f0a-25eb-46bf-b653-d1a2ced2244d"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[99609, 3219, 85, 0, 70, "Subsection", "ExpressionUUID" -> \ "075c55d6-94fd-4253-b0f3-c507d6b1b439"], Cell[CellGroupData[{ Cell[99719, 3223, 131, 1, 70, "Input", "ExpressionUUID" -> \ "dd4bd117-603f-4db7-8ffc-61222619a042"], Cell[99853, 3226, 132, 1, 70, "Output", "ExpressionUUID" -> \ "0a68e3dd-4bce-4765-be9a-ec7d5e04e68e"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[100034, 3233, 94, 0, 70, "Subsection", "ExpressionUUID" -> \ "75d7231d-a75a-4203-92a9-37eb39438df4"], Cell[CellGroupData[{ Cell[100153, 3237, 140, 2, 70, "Input", "ExpressionUUID" -> \ "190347b2-a3e4-46ae-99ba-f7a19f862bc4"], Cell[100296, 3241, 141, 2, 70, "Output", "ExpressionUUID" -> \ "5c78cebd-bcee-41dc-b34d-88253acd6ccd"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[100486, 3249, 88, 0, 70, "Subsection", "ExpressionUUID" -> \ "4e41636d-2c7d-4b00-9044-7e220ed42bb3"], Cell[CellGroupData[{ Cell[100599, 3253, 303, 8, 70, "Input", "ExpressionUUID" -> \ "3cf2f6c6-bfe1-4cb3-ab90-2f9aa75f324b"], Cell[100905, 3263, 140, 3, 70, "Output", "ExpressionUUID" -> \ "e730424b-94c8-4c29-82ff-f6fd4f3fc778"] }, Open ]], Cell[CellGroupData[{ Cell[101082, 3271, 195, 4, 70, "Input", "ExpressionUUID" -> \ "6af1d98c-650f-491d-998b-7c9fa7d9571b"], Cell[101280, 3277, 218, 6, 70, "Output", "ExpressionUUID" -> \ "ce8730fb-22cc-452e-95d7-b75f00797531"] }, Open ]], Cell[CellGroupData[{ Cell[101535, 3288, 142, 3, 70, "Input", "ExpressionUUID" -> \ "65d61bc8-dc74-428c-9ab1-a98b4fae495c"], Cell[101680, 3293, 98, 0, 70, "Output", "ExpressionUUID" -> \ "ea23b36e-13bd-4c9e-a4cc-c179d5b4706f"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[101827, 3299, 92, 0, 70, "Subsection", "ExpressionUUID" -> \ "ae93f83d-d563-4739-86cf-177ccfc4b1b6"], Cell[CellGroupData[{ Cell[101944, 3303, 163, 3, 70, "Input", "ExpressionUUID" -> \ "53e3482c-f93f-49dc-8edf-3eb08955bf9d"], Cell[102110, 3308, 140, 2, 70, "Output", "ExpressionUUID" -> \ "ef6b8334-0a23-4c0d-8056-3223b98c09f3"] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[102311, 3317, 81, 0, 70, "Section", "ExpressionUUID" -> \ "d05ba72c-4837-4e5e-9c8f-d7c7b2d6f23a"], Cell[102395, 3319, 118, 0, 70, "Print", "ExpressionUUID" -> \ "e705cbe6-f906-41b8-a453-a345f060f6fb"], Cell[CellGroupData[{ Cell[102538, 3323, 479, 15, 70, "Input", "ExpressionUUID" -> \ "8dd8b9a5-8f62-4585-a1e7-cbe617c65c43"], Cell[103020, 3340, 171, 4, 70, "Output", "ExpressionUUID" -> \ "d98ddd3b-741d-41b9-a456-1fd307d98f48"] }, Open ]], Cell[CellGroupData[{ Cell[103228, 3349, 443, 13, 70, "Input", "ExpressionUUID" -> \ "563b461f-303f-4cc9-974e-81668ee26f2b"], Cell[103674, 3364, 2115, 67, 70, "Output", "ExpressionUUID" -> \ "73e03e61-7430-4d10-9d6b-8ff889d8c658"] }, Open ]], Cell[CellGroupData[{ Cell[105826, 3436, 910, 30, 70, "Input", "ExpressionUUID" -> \ "f9d11387-a1da-43cf-862c-701c8c595138"], Cell[106739, 3468, 5715, 133, 70, "Output", "ExpressionUUID" -> \ "f09488e0-f5b5-48e5-a6cb-e13a62d8100e"] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)