Similar to 行列式に対するライプニッツの明示公式

Tangent half-angle substitution

Pythagorean theorem

Lune of Hippocrates

Nyquist–Shannon sampling theorem

Fatou's lemma

Petr–Douglas–Neumann theorem

Helly's theorem

Poincaré–Bendixson theorem

Power of a point

Menelaus's theorem

Monge's theorem

Dominated convergence theorem

Law of cosines

Law of cotangents

Routh's theorem

Lexell's theorem

Taylor circle

L'Hôpital's rule

Rolle's theorem

Wiles's proof of Fermat's Last Theorem

Determinant

Vandermonde matrix

Resultant

Minor (linear algebra)

Slater determinant

Totally positive matrix

Functional determinant