

%% 
%% This is a LaTeX document generated by automatic conversion of a
%% Mathematica notebook using Mathematica 5.0.
%% 
%% This document uses special macros that are defined in a LaTeX 
%% package file named notebook2e.sty.  Appropriate commands for 
%% loading the package have been included in this document.
%% 
%% The LaTeX package files can be found in a directory with path:
%% 
%% D:\Programme\Wolfram Research\Mathematica\5.0\SystemFiles\IncludeFiles\TeX\
%% 
%% The LaTeX package used in this document may require that your 
%% LaTeX implementation support fonts other than the standard 
%% Computer Modern fonts that are used by LaTeX.  For more
%% information see the Additional Information under TeXSave
%% in the Help Browser, or at
%% 
%% http://documents.wolfram.com/v5/RefGuide/TeXSave.html
%% 
%% Implementation-specific instructions for installing TeX-related 
%% files can be found at
%% 
%% http://support.wolfram.com/mathematica/interface/export/virtualfonts.html
%% 
%% 

\documentclass{article}
\usepackage{notebook2e, latexsym}


\begin{document}

Exeter Punkt

\dispSFinmath{
\MathBegin{MathArray}{l}
\MathBegin{MathArray}{l}
\Mvariable{SetDirectory}[  \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} "D:/Dokumente\multsp und\multsp Einstellungen/vmesser/Eigene\multsp   \\
\noalign{\vspace{0.625ex}}
\hspace{3.em} \Mvariable{Dateien/diplom/Mathematica"}];  \\
\noalign{\vspace{0.625ex}}\\
\MathEnd{MathArray}  \\
\MathBegin{MathArray}{l}
\Mfunction{Needs}["GeoBeweiser`"]  \\
\noalign{\vspace{0.625ex}}  \\
\noalign{\vspace{0.625ex}}\\
\MathEnd{MathArray}  \\
\Muserfunction{clearndg}[];  \\
\noalign{\vspace{0.625ex}}  \\
\MathBegin{MathArray}{l}
\Mfunction{Clear}[\Mvariable{u1},\Mvariable{u2},\Mvariable{u3},\Mvariable{x1},\Mvariable{x2},\Mvariable{x3},\Mvariable{x4},\Mvariable{x5},\Mvariable{x6},\Mvariable{x7},\Mvariable{x8},
 \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{x9},\Mvariable{x10},\Mvariable{x11},\Mvariable{x12},\Mvariable{x13},\Mvariable{x14},\Mvariable{x15},\Mvariable{x16},\Mvariable{x17},\Mvariable{x18},
 \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} y];\\
\MathEnd{MathArray}
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\MathBegin{MathArray}{l}
\Mvariable{vars}:=\{\Mvariable{x1},\Mvariable{x2},\Mvariable{x3},\Mvariable{x4},\Mvariable{x5},\Mvariable{x7},\Mvariable{x8},\Mvariable{x9},\Mvariable{x10},\Mvariable{x11},
 \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Mvariable{x13},\Mvariable{x14},\Mvariable{x15},\Mvariable{x16},\Mvariable{x17},\Mvariable{x18},y\};  \\
\noalign{\vspace{0.625ex}}\\
\MathEnd{MathArray}  \\
\Mvariable{parameters}:=\{\Mvariable{u1},\Mvariable{u2},\Mvariable{u3}\};
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Punkte}\multsp \Mvariable{definieren}*)  \\
\noalign{\vspace{0.625ex}}\Mfunction{Unprotect}[C];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} A=\Muserfunction{point}[0,0];B=\Muserfunction{point}[\Mvariable{u1},0];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} C=\Muserfunction{point}[\Mvariable{u2},\Mvariable{u3}];  \\
\noalign{\vspace{0.625ex}}\Mvariable{A1}=\Muserfunction{point}[\Mvariable{x1},\Mvariable{x2}];\Mvariable{B1}=\Muserfunction{point}[\Mvariable{x3},\Mvariable{x4}];
 \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{C1}=\Muserfunction{point}[\Mvariable{x5},\Mvariable{x6}];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{A2}=\Muserfunction{point}[\Mvariable{x7},\Mvariable{x8}];\Mvariable{B2}=\Muserfunction{point}[\Mvariable{x9},\Mvariable{x10}];
 \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{C2}=\Muserfunction{point}[\Mvariable{x11},\Mvariable{x12}];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{Exeter}=\Muserfunction{point}[\Mvariable{x13},\Mvariable{x14}];\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Hilfskonstruktionen}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{kUmkreis}=\Muserfunction{p3circle}[A,B,C];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Mvariable{MUmkreis}=\Muserfunction{circlecenter}[\Mvariable{kUmkreis}];\IndentingNewLine   \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} S=\Muserfunction{intersectionpoint}[\Muserfunction{ppline}[C,\Muserfunction{midpoint}[A,B]],  \\
\noalign{\vspace{0.625ex}}
\hspace{3.em} \Muserfunction{ppline}[A,\Muserfunction{midpoint}[B,C]]];\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Konstruktion}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{A2}=\Muserfunction{otherclpoint}[A,\Mvariable{kUmkreis},\Muserfunction{ppline}[A,S]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\Big\{\frac{(\Mvariable{u1}+\Mvariable{u2})\multsp ({{\Mvariable{u1}}^2}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2})}{{{\Mvariable{u1}}^2}+2\multsp
\Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},\frac{{{\Mvariable{u3}}^3}+{{\Mvariable{u1}}^2}\multsp \Mvariable{u3}+{{\Mvariable{u2}}^2}\multsp
\Mvariable{u3}}{{{\Mvariable{u1}}^2}+2\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}
}

\dispSFinmath{
\Mvariable{B2}=\Muserfunction{otherclpoint}[B,\Mvariable{kUmkreis},\Muserfunction{ppline}[B,S]]
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Big\{\frac{{{\Mvariable{u2}}^3}-3\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^2}+2\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}-\Mvariable{u1}\multsp {{\Mvariable{u3}}^2}}{4\multsp {{\Mvariable{u1}}^2}-4\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}},
 \\
\noalign{\vspace{1.42188ex}}
\hspace{1.em} \frac{{{\Mvariable{u3}}^3}+2\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{u3}+{{\Mvariable{u2}}^2}\multsp \Mvariable{u3}-2\multsp
\Mvariable{u1}\multsp \Mvariable{u2}\multsp \Mvariable{u3}}{4\multsp {{\Mvariable{u1}}^2}-4\multsp \Mvariable{u2}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^2}}\Big\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Mvariable{C2}=\Muserfunction{otherclpoint}[C,\Mvariable{kUmkreis},\Muserfunction{ppline}[C,S]]
}

\dispSFoutmath{
\Big\{\frac{{{\Mvariable{u1}}^3}-3\multsp \Mvariable{u2}\multsp {{\Mvariable{u1}}^2}+2\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u1}+2\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{u1}}{{{\Mvariable{u1}}^2}-4\multsp \Mvariable{u2}\multsp \Mvariable{u1}+4\multsp {{\Mvariable{u2}}^2}+4\multsp
{{\Mvariable{u3}}^2}},-\frac{{{\Mvariable{u1}}^2}\multsp \Mvariable{u3}}{{{\Mvariable{u1}}^2}-4\multsp \Mvariable{u2}\multsp \Mvariable{u1}+4\multsp
{{\Mvariable{u2}}^2}+4\multsp {{\Mvariable{u3}}^2}}\Big\}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Tangenten}\multsp \Mvariable{an}\multsp \Mvariable{ABC}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{at}=\Muserfunction{ortholine}[A,\Muserfunction{ppline}[A,\Mvariable{MUmkreis}]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\{-\Mvariable{u1}\multsp \Mvariable{u3},-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2},0\}
}

\dispSFinmath{
\Mvariable{bt}=\Muserfunction{ortholine}[B,\Muserfunction{ppline}[B,\Mvariable{MUmkreis}]]
}

\dispSFoutmath{
\{\Mvariable{u1}\multsp \Mvariable{u3},-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2},-{{\Mvariable{u1}}^2}\multsp
\Mvariable{u3}\}
}

\dispSFinmath{
\Mvariable{ct}=\Muserfunction{ortholine}[C,\Muserfunction{ppline}[C,\Mvariable{MUmkreis}]]
}

\dispSFoutmath{
\{-(\Mvariable{u1}-2\multsp \Mvariable{u2})\multsp \Mvariable{u3},-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2},-{{\Mvariable{u3}}^3}-{{\Mvariable{u2}}^2}\multsp
\Mvariable{u3}\}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Schnittpunkte}\multsp \Mvariable{der}\multsp \Mvariable{Tangenten}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{A1}=\Muserfunction{intersectionpoint}[\Mvariable{bt},\Mvariable{ct}]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\Big\{\frac{{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}}{2\multsp \Mvariable{u2}},\frac{\Mvariable{u1}\multsp
\Mvariable{u3}}{2\multsp \Mvariable{u2}}\Big\}
}

\dispSFinmath{
\Mvariable{B1}=\Muserfunction{intersectionpoint}[\Mvariable{at},\Mvariable{ct}]
}

\dispSFoutmath{
\Big\{\frac{-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2}}{2\multsp (\Mvariable{u1}-\Mvariable{u2})},\frac{\Mvariable{u1}\multsp
\Mvariable{u3}}{2\multsp (\Mvariable{u1}-\Mvariable{u2})}\Big\}
}

\dispSFinmath{
\Mvariable{C1}=\Muserfunction{intersectionpoint}[\Mvariable{bt},\Mvariable{at}]
}

\dispSFoutmath{
\Big\{\frac{\Mvariable{u1}}{2},\frac{{{\Mvariable{u1}}^2}\multsp \Mvariable{u3}}{2\multsp (-{{\Mvariable{u2}}^2}+\Mvariable{u1}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2})}\Big\}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{Seitendrittel}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{AddGleichung}[  \\
\noalign{\vspace{0.625ex}}
\hspace{1.em} \Muserfunction{intersectionpoint}[\Muserfunction{ppline}[\Mvariable{B1},\Mvariable{B2}],\Muserfunction{ppline}[\Mvariable{A1},\Mvariable{A2}]]-
 \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Mvariable{Exeter}]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\{({{\Mvariable{u2}}^5}-\Mvariable{u1}\multsp {{\Mvariable{u2}}^4}-3\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^4}-{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u2}}^3}+2\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^3}+6\multsp \Mvariable{u1}\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^3}+{{\Mvariable{u1}}^3}\multsp
{{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{4.em} 2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-3\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{x13}\multsp
{{\Mvariable{u2}}^2}-2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^4}\multsp \Mvariable{u2}+{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{u2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{4.em} 2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13}\multsp \Mvariable{u2}-\Mvariable{u1}\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^3}\multsp
{{\Mvariable{u3}}^2}+{{\Mvariable{u3}}^4}\multsp \Mvariable{x13}+{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13})/  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} (3\multsp {{\Mvariable{u2}}^4}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}+3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}+2\multsp
{{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u3}}^2}),  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} ({{\Mvariable{u3}}^5}-\Mvariable{x14}\multsp {{\Mvariable{u3}}^4}+{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^3}+2\multsp {{\Mvariable{u2}}^2}\multsp
{{\Mvariable{u3}}^3}-2\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}-{{\Mvariable{u1}}^2}\multsp \Mvariable{x14}\multsp
{{\Mvariable{u3}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{4.em} 2\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x14}\multsp {{\Mvariable{u3}}^2}-2\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp
\Mvariable{x14}\multsp {{\Mvariable{u3}}^2}+{{\Mvariable{u2}}^4}\multsp \Mvariable{u3}-2\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp
\Mvariable{u3}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{4.em} 3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}-2\multsp {{\Mvariable{u1}}^3}\multsp \Mvariable{u2}\multsp
\Mvariable{u3}+3\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{x14}-6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{x14}+3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x14})/  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} (-3\multsp {{\Mvariable{u2}}^4}+6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}-3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}-2\multsp
{{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}+2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^4}+{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u3}}^2})\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\multsp \Mvariable{polynomials}\multsp *)  \\
\noalign{\vspace{0.625ex}}\Mvariable{polys}=\Mfunction{Map}[\Mfunction{Numerator}[\Mfunction{Together}[\#]]\multsp \&,\multsp \Mvariable{Gleichungen}]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\{{{\Mvariable{u2}}^5}-\Mvariable{u1}\multsp {{\Mvariable{u2}}^4}-3\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^4}-{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u2}}^3}+2\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^3}+6\multsp \Mvariable{u1}\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^3}+{{\Mvariable{u1}}^3}\multsp
{{\Mvariable{u2}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp {{\Mvariable{u2}}^2}-3\multsp {{\Mvariable{u1}}^2}\multsp \Mvariable{x13}\multsp
{{\Mvariable{u2}}^2}-2\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^2}+{{\Mvariable{u3}}^4}\multsp \Mvariable{u2}+{{\Mvariable{u1}}^2}\multsp
{{\Mvariable{u3}}^2}\multsp \Mvariable{u2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp \Mvariable{u1}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13}\multsp \Mvariable{u2}-\Mvariable{u1}\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^3}\multsp
{{\Mvariable{u3}}^2}+{{\Mvariable{u3}}^4}\multsp \Mvariable{x13}+{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^2}\multsp \Mvariable{x13},  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} -{{\Mvariable{u3}}^5}+\Mvariable{x14}\multsp {{\Mvariable{u3}}^4}-{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u3}}^3}-2\multsp {{\Mvariable{u2}}^2}\multsp
{{\Mvariable{u3}}^3}+2\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^3}+{{\Mvariable{u1}}^2}\multsp \Mvariable{x14}\multsp
{{\Mvariable{u3}}^2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 2\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x14}\multsp {{\Mvariable{u3}}^2}+2\multsp \Mvariable{u1}\multsp \Mvariable{u2}\multsp
\Mvariable{x14}\multsp {{\Mvariable{u3}}^2}-{{\Mvariable{u2}}^4}\multsp \Mvariable{u3}+2\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp
\Mvariable{u3}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{2.em} 3\multsp {{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{u3}+2\multsp {{\Mvariable{u1}}^3}\multsp \Mvariable{u2}\multsp
\Mvariable{u3}-3\multsp {{\Mvariable{u2}}^4}\multsp \Mvariable{x14}+6\multsp \Mvariable{u1}\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{x14}-3\multsp
{{\Mvariable{u1}}^2}\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x14}\}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
(*\Mvariable{conclusion}*)  \\
\noalign{\vspace{0.625ex}}\Mvariable{con}=\multsp \Muserfunction{online}[\Mvariable{Exeter},\Muserfunction{ppline}[\Mvariable{C1},\Mvariable{C2}]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
\Mvariable{u3}\multsp {{\Mvariable{u1}}^3}-2\multsp \Mvariable{u2}\multsp \Mvariable{u3}\multsp {{\Mvariable{u1}}^2}-\Mvariable{u3}\multsp \Mvariable{x13}\multsp
{{\Mvariable{u1}}^2}-\Mvariable{u2}\multsp \Mvariable{x14}\multsp {{\Mvariable{u1}}^2}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{u3}}^3}\multsp \Mvariable{u1}+{{\Mvariable{u2}}^2}\multsp \Mvariable{u3}\multsp \Mvariable{u1}+2\multsp \Mvariable{u2}\multsp
\Mvariable{u3}\multsp \Mvariable{x13}\multsp \Mvariable{u1}+3\multsp {{\Mvariable{u2}}^2}\multsp \Mvariable{x14}\multsp \Mvariable{u1}+  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} {{\Mvariable{u3}}^2}\multsp \Mvariable{x14}\multsp \Mvariable{u1}-2\multsp {{\Mvariable{u3}}^3}\multsp \Mvariable{x13}-2\multsp {{\Mvariable{u2}}^2}\multsp
\Mvariable{u3}\multsp \Mvariable{x13}-2\multsp {{\Mvariable{u2}}^3}\multsp \Mvariable{x14}-2\multsp \Mvariable{u2}\multsp {{\Mvariable{u3}}^2}\multsp
\Mvariable{x14}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Muserfunction{IdealMember}[\Mvariable{con},\Mvariable{polys},\Mvariable{vars}]//\Mfunction{Timing}
}

\dispSFoutmath{
\{0.02\multsp \Mvariable{Second},\Mvariable{True}\}
}

Beweis der Bemerkung: Der Exeterpunkt liegt auf der Eulergeraden.

\dispSFinmath{
\Mvariable{Schwerpunkt}=\Muserfunction{centroid}[A,B,C]
}

\dispSFoutmath{
\Big\{\frac{\Mvariable{u1}+\Mvariable{u2}}{3},\frac{\Mvariable{u3}}{3}\Big\}
}

\dispSFinmath{
\Mvariable{Umkreismittelpunkt}=\Muserfunction{circumcenter}[A,B,C]
}

\dispSFoutmath{
\Big\{\frac{\Mvariable{u1}}{2},\frac{{{\Mvariable{u2}}^2}-\Mvariable{u1}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}}{2\multsp \Mvariable{u3}}\Big\}
}

\dispSFinmath{
\MathBegin{MathArray}{l}
\Mvariable{con3}=\Muserfunction{online}[\Mvariable{Exeter},  \\
\noalign{\vspace{0.625ex}}
\hspace{2.em} \Muserfunction{ppline}[\Mvariable{Schwerpunkt},\Mvariable{Umkreismittelpunkt}]]\\
\MathEnd{MathArray}
}

\dispSFoutmath{
\MathBegin{MathArray}{l}
-{{\Mvariable{u2}}^3}+3\multsp \Mvariable{x13}\multsp {{\Mvariable{u2}}^2}+{{\Mvariable{u1}}^2}\multsp \Mvariable{u2}-{{\Mvariable{u3}}^2}\multsp
\Mvariable{u2}-  \\
\noalign{\vspace{0.601563ex}}
\hspace{1.em} 3\multsp \Mvariable{u1}\multsp \Mvariable{x13}\multsp \Mvariable{u2}+2\multsp \Mvariable{u3}\multsp \Mvariable{x14}\multsp \Mvariable{u2}+{{\Mvariable{u3}}^2}\multsp
\Mvariable{x13}-\Mvariable{u1}\multsp \Mvariable{u3}\multsp \Mvariable{x14}\\
\MathEnd{MathArray}
}

\dispSFinmath{
\Muserfunction{IdealMember}[\Mvariable{con3},\Mvariable{polys},\Mvariable{vars}]//\Mfunction{Timing}
}

\dispSFoutmath{
\{0.01\multsp \Mvariable{Second},\Mvariable{True}\}
}


\end{document}
