✨Đồng nhất thức

nhỏ|Bằng chứng trực quan về đồng nhất tPythagore. Với mọi góc, Điểm ($\backslash cos(\backslash theta)$, $\backslash sin(\backslash theta)$) nằm trên đường [[Đường tròn đơn vị|tròn đơn vị, thỏa mãn phương trình $x\; ^2\; +\; y\; ^2\; =\; 1$. Do đó, $\backslash cos\; ^2\; (\backslash theta)\; +\; \backslash sin\; ^2\; (\backslash theta)\; =\; 1$.]] Trong toán học, một đồng nhất thức, còn được gọi là hằng đẳng thức, là một quan hệ đẳng thức A = B, sao cho A và B chứa một số biến và A và B tạo ra cùng một giá trị với nhau bất kể giá trị nào (thường là số) được thay thế cho các biến. Nói cách khác, A = B là một đồng nhất thức nếu A và B có cùng định nghĩa hàm số giống nhau. Điều này có nghĩa là một đồng nhất thức là một đẳng thức giữa các hàm được xác định khác nhau. Ví dụ, (a+b)²= a² + 2ab + b² và là các đồng nhất thức. Đồng nhất thức đôi khi được biểu thị bằng ký hiệu thanh ba thay vì dấu bằng .

Đồng nhất thức thông thường

Đồng nhất thức lượng giác

Về mặt hình học, đây là những đồng nhất thức liên quan đến các hàm nhất định của một hoặc nhiều góc. Chúng khác biệt với đồng nhất thức tam giác, là các đồng nhất thức liên quan đến cả góc và độ dài cạnh của một hình tam giác. Chỉ có đồng nhất thức góc được đề cập trong bài viết này.

Các đồng nhất thức này hữu ích bất cứ khi nào các biểu thức liên quan đến các hàm lượng giác cần được đơn giản hóa. Một ứng dụng quan trọng là tích phân các hàm không lượng giác: một kỹ thuật phổ biến trước tiên là sử dụng quy tắc thay thế bằng hàm lượng giác, sau đó đơn giản hóa tích phân kết quả với nhận dạng lượng giác.

Một ví dụ là $\backslash sin\; ^2\; \backslash theta\; +\; \backslash cos\; ^2\; \backslash theta\; =\; 1,$mà là đúng với mọi số phức $\backslash theta$ (vì các số phức $\backslash mathbb\{C\}$ là kết quả hàm của sin and cos), ngược lại với

: $\backslash cos\; \backslash theta\; =\; 1,$

mà chỉ đúng với một số giá trị $\backslash theta$, chứ không phải tất cả. Ví dụ kết quả chỉ đúng khi $\backslash theta\; =\; 0,$ sai khi $\backslash theta\; =\; 2$.

Đồng nhất thức lũy thừa

Các đồng nhất thức sau đúng cho tất cả các số mũ nguyên:

:

Phép lũy thừa không giao hoán. Điều này tương phản với cộng và nhân, đó là. Ví dụ: và , nhưng , trong khi .

Lũy thừa cũng không kết hợp. Phép cộng và phép nhân thì có tính chất này. Ví dụ: và , nhưng 2³ mũ 4 là 8 ⁴ hoặc 4.096, trong khi 2 mũ 3⁴ là 2⁸¹ hoặc 2,417,851,639,229,258,349,412,352. Không có dấu ngoặc đơn để sửa đổi thứ tự tính toán, theo quy ước, thứ tự tính toán là từ trên xuống, không phải từ dưới lên:

: $b^\{p^q\}\; =\; b^\{(p^q)\}\; \backslash ne\; (b^p)^q\; =\; b^\{(p\; \backslash cdot\; q)\}\; =\; b^\{p\; \backslash cdot\; q\}.$