Định lí sin và định lí côsin
Định lí sin là định lí đúng trong tam giác bất kì, khác với các tỉ số lượng giác thông thường. Nó cho biết mối liên hệ giữa độ dài các cạnh và các góc. Định lí côsin cũng đúng trong tam giác bất kì, và trường hợp đặc biệt của nó là định lí Pythagore.
Định lí sin
Định lí sin nói rằng trong một tam giác bất kì (!), tỉ số giữa độ dài mỗi cạnh và sin của góc đối diện với cạnh đó là không đổi. Ta viết:
trong đó r là bán kính đường tròn ngoại tiếp, còn a, b và c là độ dài các cạnh của tam giác. Đẳng thức trên cũng có thể viết lại dưới dạng:
Định lí côsin
Giống như định lí sin, định lí côsin cũng đúng trong tam giác bất kì. Định lí côsin phát biểu như sau:
Để ý rằng nếu một trong các góc là góc vuông, tức có số đo 90 độ, thì trong một công thức, phần cuối sẽ biến mất và ta được định lí Pythagore. Thật vậy, nếu α = 90° thì cos(α) = 0, nên ta được:
Ví dụ mở đầu
Cho tam giác ABC có cạnh c dài |c| = 9. Số đo các góc là: α = 40°, β = 80°, γ = 60°. Câu hỏi là hai cạnh còn lại dài bao nhiêu? Lúc này các tỉ số lượng giác thông thường không còn đủ, vì chúng chỉ dùng được trong tam giác vuông, mà tam giác này chắc chắn không vuông. Hình vẽ:
Lúc này phải dùng cách khác. Một trong số đó chính là định lí sin. Áp dụng nó thế nào? Định lí sin cho ta:
Trong đó ta biết tất cả các góc và độ dài cạnh c. Vậy cạnh b tính được từ đẳng thức
Ở đây cần biểu diễn độ dài cạnh b. Thực hiện phép biến đổi tương đương: nhân hai vế với sin của góc beta. Ta được:
Mọi biểu thức ở vế phải đều đã biết hoặc tính được. Thay số:
Hoàn toàn tương tự, ta tính cạnh còn lại a:
Biểu diễn |a| bằng cách nhân hai vế với sin của góc alpha.
Tính kết quả:
Chứng minh định lí sin
Vì sao đẳng thức sin đúng? Xét một tam giác ABC bình thường, trong đó vẽ thêm đường cao ứng với cạnh c.
Câu hỏi là đoạn CPc dài bao nhiêu. Nhờ đường cao, tam giác ABC được chia thành hai tam giác vuông, và nhờ chúng có thể biểu diễn độ dài đường cao. Ta thử biểu diễn độ dài đoạn CPc qua cả hai tam giác. Sin của góc alpha bằng:
Từ đó biểu diễn |CPc|:
Bây giờ biểu diễn độ dài đoạn CPc qua tam giác thứ hai, nhờ góc beta:
Từ đó lại rút |CPc|:
Như vậy độ dài đường cao được biểu diễn bằng hai công thức:
nên ta có đẳng thức
Đến đây chỉ còn một bước nhỏ nữa là tới điều mà định lí sin khẳng định. Chia hai vế cho tích sin alpha nhân sin beta:
Ở trên ta đã chứng minh một phần của định lí sin; chứng minh cho các cặp cạnh còn lại hoàn toàn tương tự.
Mục lục: Hàm số lượng giác, Đường tròn lượng giác, Hàm số lượng giác ngược, Tính chất của sin, côsin, tang và côtang, Công thức lượng giác, Đồ thị hàm số lượng giác, Định lí sin và định lí côsin