Skip to content

Instantly share code, notes, and snippets.

@Hermann-SW
Created October 2, 2021 13:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Hermann-SW/d20a756efeb938c471bc231d05d07833 to your computer and use it in GitHub Desktop.
Save Hermann-SW/d20a756efeb938c471bc231d05d07833 to your computer and use it in GitHub Desktop.
Simple check of Fagnano identity via Euler's identity, with Latex ("chktex"ed)
\documentclass{article}
\begin{document}
\begin{eqnarray*}
Fagnano: \pi& =& 2 i \log\frac{1-i}{1+i} \\
& & \\
Euler: -1 & =& e^{i \pi} \\
& =& e^{-2 \log\frac{1-i}{1+i} } \\
& =& \left(\frac{1-i}{1+i}\right) ^ {-2} \\
& =& \left({\frac{1+i}{1-i}}\right) ^ 2 \\
& & \\
-{(1-i)^2} & =& (1+i) ^ 2 \\
-1+2i-{i^2} & =& 1+2i+i^2 \\
-2 & =& 2i^2
\end{eqnarray*}
\end{document}
@Hermann-SW
Copy link
Author

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment