\catcode`@=11%
\def\antwpythhyp#1:#2,#3 {%
  {%
    \edef\ant@tmpi{\csname#2\endcsname}\edef\ant@tmpii{\csname#3\endcsname}%
    \let\AB\ant@tmpi\let\AC\ant@tmpii
    \FPmul\ABs\AB\AB%
    \FPmul\ACs\AC\AC%
    \FPupn\BCs{ABs ACs add}%
    \FPupn\BC{2 BCs root 9 round clip}%
    \FPupn\ABs{ABs 7 round clip}%
    \FPupn\ACs{ACs 7 round clip}%
    \FPupn\BCs{BCs 7 round clip}%
    $#2^2+#3^2=#1^2$,\hfil\break
    $#1^2=\AB^2+\AC^2=\ABs+\ACs=\BCs$,\hfil\break
    $#1=\sqrt{\BCs}=\BC$
    \global\let\ant@tmpi\BC
  }%
  \expandafter\let\csname#1\endcsname\ant@tmpi
}%
\def\antwpythnhyp#1:#2,#3 {%
  {%
    \edef\ant@tmpi{\csname#2\endcsname}\edef\ant@tmpii{\csname#3\endcsname}%
    \let\BC\ant@tmpi\let\AB\ant@tmpii
    \FPmul\BCs\BC\BC
    \FPmul\ABs\AB\AB
    \FPupn\ACs{BCs ABs sub}%
    \FPupn\AC{2 ACs root 9 round clip}%
    \FPupn\BCs{BCs 7 round clip}%
    \FPupn\ABs{ABs 7 round clip}%
    \FPupn\ACs{ACs 7 round clip}%
    $#1^2+#3^2=#2^2$,\hfil\break
    $#1^2=\BC^2-\AB^2=\BCs-\ABs=\ACs$,\hfil\break
    $#1=\sqrt{\ACs}=\AC$
    \global\let\ant@tmpi\AC
  }%
  \expandafter\let\csname#1\endcsname\ant@tmpi
}%
\def\antwpythvrfy#1,#2,#3 {%
  {%
    \edef\ant@tmpi{\csname#1\endcsname}%
    \edef\ant@tmpii{\csname#2\endcsname}%
    \edef\ant@tmpiii{\csname#3\endcsname}%
    \let\si\ant@tmpi
    \let\sii\ant@tmpii
    \let\siii\ant@tmpiii
    \ifFPgt\si\sii\then
      \let\ri\sii
      \ifFPgt\si\siii\then
        \let\rii\siii
        \let\hyp\si
      \else
        \let\rii\si
	\let\hyp\siii
      \fi
    \else
      \let\ri\si
      \ifFPgt\sii\siii\then
        \let\rii\siii
	\let\hyp\sii
      \else
        \let\rii\sii
	\let\hyp\siii
      \fi
    \fi
    \FPmul\ris\ri\ri
    \FPmul\riis\rii\rii
    \FPmul\hypsii\hyp\hyp
    \FPadd\hypsi\ris\riis
    \FPupn\ris{ris 9 round clip}%
    \FPupn\riis{riis 9 round clip}%
    \FPupn\hypsi{hypsi 9 round clip}%
    \FPupn\hypsii{hypsii 9 round clip}%
    $#1^2 = \hyp^2 = \hypsii$, 
    $#2^2+#3^2 = \ri^2+\rii^2 = \ris + \riis = \hypsi$\hfil\break
    \ifFPeq\hypsi\hypsii\then
      De driehoek is rechthoekig want $#2^2+#3^2 = #1^2$.
    \else 
      De driehoek is niet rechthoekig want $#2^2+#3^2 \not= #1^2$.
    \fi
  }%
}%
\catcode`@=12%
