These are archival webpages, generated on 2023-03-20 by Prove-It Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See pyproveit.org for the lastest version.
logo

Theory of proveit.trigonometry

Trigonometry pertains to relationships of the lengths and angles of triangles and has a strong connection to complex numbers expressed in polar form (e.g., $e^{i \theta} = \cos(\theta) + i \sin(\theta)$).

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

All axioms contained within this theory

This theory contains no axioms directly.