恆等式是指對其中出現的變數的所有值都成立的方程式，因為它要麼是定義，要麼是定義的邏輯推論。一個定義恆等式的例子是 tan ( x ) = sin ( x ) cos ( x ) . {\displaystyle \tan(x)={\frac {\sin(x)}{\cos(x)}}.} 可以邏輯地證明對變數的所有值都成立的恆等式的例子是三角形式的畢達哥拉斯恆等式： s i n 2 ( x ) + c o s 2 ( x ) = 1. {\displaystyle sin^{2}(x)+cos^{2}(x)=1.}
下一頁：正弦和餘弦函式的圖形 上一頁：直角三角形三角學
首頁：三角學
可以邏輯地證明對變數的所有值都成立的恆等式的例子是三角形式的畢達哥拉斯恆等式：
