Hàm cotang là gì?
Hàm cotang, viết cot(x), là một trong sáu hàm lượng giác. Trong tam giác vuông, cot(θ) là tỷ số giữa cạnh kề và cạnh đối góc θ — anh em đảo ngược của tan(θ), vốn là đối trên kề. Tương đương, cot(x) = cos(x) / sin(x) = 1 / tan(x). Trên đường tròn đơn vị, cot(θ) cho tọa độ x của điểm nằm trên đường y = sin(θ) khi kéo dài cho tới khi cắt đường ngang y = 1.
Cotang xuất hiện nhiều nhất trong giải tích (xuất hiện trong các đạo hàm và tích phân tiêu chuẩn), trong vật lý (liên kết độ võng dầm với lực ngang), trong trắc địa (đo độ nghiêng kính thiên văn dùng cot của góc nâng) và trong đồ họa máy tính (ma trận chiếu phối cảnh có cot(fov/2)). Nó cũng hữu ích trong quang học cho phương trình thợ làm kính và trong cơ học cho mặt phẳng nghiêng.
Định nghĩa toán học:
cot(x) = cos(x) / sin(x) = 1 / tan(x)
Các tính chất chính của cotang:
- Miền xác định: cot(x) xác định với mọi số thực x trừ x = nπ (0, ±π, ±2π, …), nơi sin(x) = 0 và hàm bùng nổ.
- Tập giá trị: cotang nhận mọi giá trị thực từ −∞ đến +∞.
- Tính tuần hoàn: cot(x) lặp lại mỗi π radian (180°), không phải 2π. Tang chia sẻ chu kỳ ngắn hơn này vì cùng lý do đại số.
- Đối xứng lẻ: cot(−x) = −cot(x). Đối xứng quay quanh gốc tọa độ.
- Tiệm cận đứng: tại mỗi x = nπ (0, π, 2π, …), nơi sin bằng 0 và sẽ chia cho 0.
- Đạo hàm: d/dx cot(x) = −csc²(x). Luôn âm tại nơi cot xác định, nghĩa là cot đơn điệu giảm trên từng nhánh.
Cotang là nghịch đảo của tang, nhưng không chỉ là chuyện hay ho — nó xuất hiện ở nơi bạn muốn chia cho tang hoặc nơi hình học tự nhiên là «kề trên đối» thay vì «đối trên kề».
Cotang nghịch (Arccotang) là gì?
Hàm cotang nghịch, viết arccot(x) hay cot⁻¹(x), nhận mọi số thực và trả về góc có cotang bằng số đó. Đây là phép ngược của cot: arccot(cot(θ)) = θ khi θ nằm trong khoảng chuẩn.
Định nghĩa toán học:
arccot(x) = arctan(1/x) với x > 0, và π − arctan(1/|x|) với x < 0
Các tính chất chính của cotang nghịch:
- Miền xác định: arccot xác định với mọi số thực (toàn bộ ℝ).
- Tập giá trị: khoảng đầu ra chuẩn là (0, π), tức 0° đến 180° loại trừ. Vài sách dùng (−π/2, π/2) bỏ 0 — cả hai quy ước cùng tồn tại, gây nhầm lẫn.
- Tính đơn điệu: arccot giảm nghiêm ngặt — đầu vào lớn hơn cho góc nhỏ hơn.
- Giá trị đặc biệt: arccot(0) = π/2 (90°), arccot(1) = π/4 (45°), arccot(√3) = π/6 (30°), arccot(−1) = 3π/4 (135°).
- Đạo hàm: d/dx arccot(x) = −1 / (1 + x²) — cùng độ lớn với arctan nhưng dấu ngược lại.
Cotang nghịch dùng ở đâu cần khôi phục một góc từ một giá trị cotang: dụng cụ trắc địa, thiết kế đường dốc và mọi bài toán hình học mà dữ liệu tự nhiên là tỷ số giữa cạnh kề và cạnh đối.
Các giá trị cotang thường gặp
Các giá trị cotang quan trọng cho góc thông dụng:
- cot(0°) = không xác định (tiệm cận đứng)
- cot(30°) = √3 ≈ 1,732
- cot(45°) = 1
- cot(60°) = 1/√3 ≈ 0,577
- cot(90°) = 0
- cot(120°) = −1/√3 ≈ −0,577
- cot(135°) = −1
- cot(150°) = −√3 ≈ −1,732
Câu hỏi thường gặp
Vì cot(x) = cos(x) / sin(x), và sin(0°) = 0. Chia cho 0 không xác định trong số học tiêu chuẩn, nên cot(0°) — và cot(180°), cot(360°), cot(nπ) với mọi số nguyên n — không có giá trị. Về hình học, cot(θ) là độ dốc của đường ngang-đứng trong hình tròn đơn vị, và tại θ = 0° đường đó nằm ngang (trên trục x), cho tỷ số vô hạn giữa độ dài ngang và đứng. Tiến tới 0° từ trên, cot tăng tới +∞: cot(1°) ≈ 57,29, cot(0,1°) ≈ 572,96, cot(0,01°) ≈ 5.729,58. Tiến từ dưới (ở phần tư thứ tư, gần 360°), cot lao xuống −∞. Đồ thị có tiệm cận đứng tại mọi bội của π, chính nơi sin cắt 0. Mô hình này khớp với hành vi của tang tại π/2 + nπ, nơi cos bằng 0. Đồ thị cot về cơ bản là đồ thị tang dịch 90° và lật — chúng cùng có tiệm cận nhưng ở vị trí đối nhau.
Về mặt toán học hai hàm có thể hoán đổi — cot(x) = 1/tan(x) — nhưng mỗi hàm là lựa chọn sạch hơn cho các hình học khác nhau. Dùng tang khi tỷ số tự nhiên là cao trên ngang, độ dốc, gradient, đối trên kề: độ dốc mái nhà, độ dốc đường, độ dốc một đường thẳng. Dùng cotang khi tỷ số tự nhiên là kề trên đối: góc nâng trong trắc địa khi đo khoảng cách ngang tới vật cao và muốn biết chiều cao, nửa góc nón của chùm tia khi đo độ phân tán ngang trên đơn vị chiều dài, hoặc trong trigonometry cầu nơi quy tắc cotang xuất hiện trực tiếp. Về số học còn có lý do độ chính xác: gần 90°, tan(x) trở nên cực lớn và hơi nhiễu, còn cot(x) gần 0 và hành xử sạch sẽ — nên bài toán có góc gần thẳng đứng nên biểu diễn bằng cotang. Nhiều sách giải tích chỉ giới thiệu cotang để rút ra tích phân ∫cot(x) dx = ln|sin(x)| + C, nhưng nó là công cụ thật sự trong trắc địa và quang học.
Bắt đầu từ sin²(θ) + cos²(θ) = 1. Chia mọi thứ cho sin²(θ) bạn được 1 + cot²(θ) = csc²(θ), với csc(θ) = 1/sin(θ) là cosec. Đây là một trong ba đẳng thức Pythagoras (hai cái còn lại là sin² + cos² = 1 và 1 + tan² = sec²). Là nền tảng cho nhiều kỹ thuật tích phân — khi thấy √(1 + x²) trong hàm dưới dấu tích phân, phép thế lượng giác x = cot(θ) (hay tan(θ)) biến căn thành csc(θ) (hay sec(θ)) và phần còn lại dễ xử lý. Nó cũng cho phép tính cot từ một csc đã biết mà không qua sin rồi chia — hữu ích trong trigonometry cầu nơi csc xuất hiện tự nhiên như nghịch đảo của tán xạ dọc. Học thuộc cả ba đẳng thức Pythagoras cùng nhau: sin²+cos²=1, 1+tan²=sec², 1+cot²=csc². Chúng đến từ cùng một đẳng thức bằng cách chia cho thứ khác nhau.
Vì các nhà toán học không bao giờ thống nhất về khoảng đầu ra chuẩn. Quy ước A (đa số sách giải tích, Wolfram Mathematica và GeoGebra): arccot(x) trả giá trị trong (0, π). Khiến arccot liên tục trên toàn ℝ — đẹp về mặt toán nhưng nghĩa là arccot KHÔNG chỉ là arctan(1/x) — với x âm, hai biểu thức chênh nhau π. Quy ước B (vài hệ đại số máy tính, sách cũ và gợi ý tự nhiên từ đẳng thức arccot(x) = arctan(1/x)): arccot(x) trả giá trị trong (−π/2, π/2) bỏ 0, gián đoạn tại x = 0. Cả hai đều có lý; không cái nào sai. Hệ quả thực tế: tính arccot(−1) có thể ra 135° (3π/4) theo Quy ước A hoặc −45° (−π/4) theo Quy ước B. Luôn kiểm tra công cụ của bạn dùng quy ước nào. Hầu hết ngôn ngữ lập trình không cung cấp arccot trực tiếp — bạn tính bằng atan2(1, x), cho giá trị trong (0, π) và khớp Quy ước A. Máy tính này dùng Quy ước A: đầu ra luôn trong (0°, 180°).
Đạo hàm là d/dx cot(x) = −csc²(x) = −1/sin²(x). Chứng minh: viết cot = cos/sin, áp dụng quy tắc thương và đơn giản hóa bằng sin² + cos² = 1. Dấu trừ cho thấy cotang giảm nghiêm ngặt trên mỗi nhánh giữa các tiệm cận — bắt đầu ở +∞ tại x = 0⁺, giảm qua 1 tại π/4, chạm 0 tại π/2, qua −1 tại 3π/4, và lao xuống −∞ khi x tiến tới π. Tích phân là ∫cot(x) dx = ln|sin(x)| + C. Suy ra: thế u = sin(x), du = cos(x) dx, rồi ∫cot(x) dx = ∫(cos(x)/sin(x)) dx = ∫du/u = ln|u| + C = ln|sin(x)| + C. Giá trị tuyệt đối rất quan trọng — không có nó công thức sẽ không xác định trên các nhánh âm của sin. Cả hai là mục bảng tiêu chuẩn sinh viên giải tích thuộc lòng, cùng với d/dx tan(x) = sec²(x) và ∫tan(x) dx = −ln|cos(x)| + C.
Ứng dụng trắc địa kinh điển: bạn đứng cách một vật thẳng đứng (cây, tháp, núi) một khoảng ngang d đã biết và đo góc nâng θ từ tầm nhìn lên đỉnh. Chiều cao là h = d · tan(θ). Nếu thay vì thế bạn biết chiều cao và muốn khoảng cách ngang, bạn viết d = h · cot(θ) — cotang xuất hiện tự nhiên khi ẩn số là cạnh ngang. Trong cơ kết cấu, độ võng dầm công xôn dưới tải ngang dùng cot của các góc điều kiện biên. Trong quang học, phương trình thợ làm kính ở dạng nào đó dùng cot của nửa góc nón ánh sáng đi vào thấu kính. Trong đồ họa máy tính, ma trận chiếu phối cảnh của OpenGL và DirectX có cot(fovy/2) ở phần tỉ lệ y — đó là nơi trường nhìn ảnh hưởng tới phóng to dọc. Trong xây dựng dân dụng, độ dốc bên của đường đôi khi viết là 1:n nghĩa là 1 dọc với n ngang, chính là cot(θ) cho góc dốc θ. Cotang là hàm xuất hiện ở đâu «bao nhiêu rộng trên một đơn vị cao» là câu hỏi tự nhiên.
Vì cot(x + π) = cos(x + π) / sin(x + π) = (−cos(x)) / (−sin(x)) = cos(x)/sin(x) = cot(x). Khi quay 180°, cả sin và cos đều đổi dấu, và hai dấu âm triệt tiêu trong thương. Vậy cotang của một góc bằng cotang của góc đó cộng nửa vòng. Về hình học, đường thẳng qua gốc tại góc θ chính là cùng đường thẳng với đường tại góc θ + 180° (chỉ chạy ngược chiều), và cotang đo một đặc tính của đường đó — cụ thể là độ dốc nghịch đảo — nên hàm không phân biệt được hai góc. Việc rút ngắn chu kỳ tương tự xảy ra với tang vì cùng lý do. Sin và cos ngược lại có chu kỳ 2π vì chúng để ý đầu nào của đường, không chỉ đường thẳng. Chu kỳ ngắn hơn này cũng giải thích vì sao khoảng đầu ra của arccot bằng nửa của arcsin hay arccos — arccot trả giá trị trong (0, π), một chu kỳ duy nhất.
Ngoài trắc địa và kỹ thuật, cotang xuất hiện trong: (1) thiên văn — cotang của góc cao của vật thiên thể đo độ dày khí quyển mà ánh sáng đi qua, dùng để mô hình tắt khí quyển trong trắc quang; (2) vật lý hạt — phân bố góc của hạt tán xạ thường viết bằng cot(θ/2), nổi bật trong tán xạ Rutherford với dσ/dΩ ∝ csc⁴(θ/2); (3) kỹ thuật âm thanh — biến đổi song tuyến đổi bộ lọc liên tục thành bộ lọc số thay s → 2/T · cot(ωT/2), cho quan hệ tần số méo; (4) điện kỹ thuật — lý thuyết đường truyền dùng cot(βℓ) với ℓ là chiều dài đường và β là hằng pha, để mô tả các đoạn ngắn mạch; (5) tinh thể học — yếu tố cấu trúc hình học của vài mạng chứa các số hạng cotang; (6) tài chính — dù ít phổ biến, vài mô hình lãi suất với điều kiện biên tuần hoàn sinh ra các số hạng cotang trong nghiệm giải tích. Hàm không hào nhoáng như sin hay cos, nhưng bất cứ đâu có tỷ số ngang-dọc trong bài toán có cấu trúc quay hay tuần hoàn, cot luôn ở ngay bên dưới.