Đồng nhất thức

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)2= a2 + 2ab + b2 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à mà là đúng với mọi số phức  (vì các số phức  là kết quả hàm của sin and cos), ngược lại với

 

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

Đồ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 23 mũ 4 là 8 4 hoặc 4.096, trong khi 2 mũ 34 là 281 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:

Tham khảo

Tương đương (toán học)
Đại số sơ cấp