Hàm cosec là gì?
Hàm cosec, viết csc(x), là một trong sáu hàm lượng giác và là nghịch đảo của sin. Trong tam giác vuông, csc(θ) là tỷ số giữa cạnh huyền và cạnh đối góc θ — đảo ngược chính xác của sin(θ) = đối/huyền. Trên đường tròn đơn vị, csc(θ) là độ dài của đường từ gốc tới điểm mà tiếp tuyến tại điểm góc trên đường tròn gặp trục y.
Cosec xuất hiện trong giải tích (trong tích phân và đẳng thức Pythagoras 1 + cot²(x) = csc²(x)), trong vật lý (xuất hiện trong công thức chiều dài đường đi khí quyển và biên độ sóng), trong trắc địa (cosec của góc nâng chuyển khoảng cách ngang thành khoảng cách nghiêng), và trong quang học (định luật Snell ở vài dạng dùng csc của góc tới). Ít gặp hơn sin trong tính toán hằng ngày, nhưng là hàm tự nhiên khi bạn xuất phát từ cạnh huyền thay vì chia cho nó.
Định nghĩa toán học:
csc(x) = 1 / sin(x) = huyền / đối
Các tính chất chính của cosec:
- Miền xác định: csc(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ị: (−∞, −1] ∪ [1, +∞). Cosec không bao giờ nhận giá trị nằm hẳn trong (−1, 1), vì sin bị chặn bởi ±1 và ta lấy 1 chia cho nó.
- Tính tuần hoàn: csc(x) lặp lại mỗi 2π radian (360°), giống sin. Khác với tang hay cotang, chu kỳ là vòng tròn đầy, không phải nửa vòng.
- Đối xứng lẻ: csc(−x) = −csc(x). Đồ thị đối xứng qua gốc tọa độ, giống tính lẻ của sin.
- Tiệm cận đứng: tại x = nπ nơi sin bằng 0. Giữa hai tiệm cận liền kề đồ thị tạo hình chữ U (hoặc U ngược) với một cực tiểu (hoặc cực đại) duy nhất có độ lớn 1.
- Đạo hàm: d/dx csc(x) = −csc(x)·cot(x). Luôn xác định nơi csc xác định.
Cosec là ngôn ngữ tự nhiên cho bài toán ngược của sin — khi dữ liệu là cạnh dài của tam giác và câu hỏi là góc tạo ra tỷ số cho trước.
Cosec nghịch (Arccosec) là gì?
Cosec nghịch, viết arccsc(x) hay csc⁻¹(x), nhận giá trị có |x| ≥ 1 và trả về góc có cosec bằng giá trị đó. Đây là phép ngược của csc, hạn chế về khoảng chuẩn đơn ánh để nghịch đảo có định nghĩa rõ.
Định nghĩa toán học:
arccsc(x) = arcsin(1/x), với |x| ≥ 1
Các tính chất chính của cosec nghịch:
- Miền xác định: arccsc chỉ xác định với |x| ≥ 1 (tức x ≤ −1 hoặc x ≥ 1). Với |x| < 1 không có góc nào có cosec là x.
- Tập giá trị: khoảng đầu ra chuẩn là [−π/2, 0) ∪ (0, π/2] — góc từ −90° đến 90° loại trừ 0 (nơi csc không xác định).
- Tính đơn điệu: arccsc giảm nghiêm ngặt trên miền xác định. Khi x tăng từ 1 đến ∞, arccsc(x) giảm từ 90° về 0°.
- Giá trị đặc biệt: arccsc(1) = π/2 (90°), arccsc(2) = π/6 (30°), arccsc(√2) = π/4 (45°), arccsc(2/√3) = π/3 (60°).
- Đạo hàm: d/dx arccsc(x) = −1 / (|x|·√(x² − 1)). Trị tuyệt đối quan trọng với x âm; nhiều sách bỏ qua nó và mắc lỗi dấu ở nhánh trái.
Arccosec hữu ích khi bạn đo tỷ số huyền/đối và cần góc gốc — ví dụ tính góc nghiêng của một sợi cáp tĩnh khi biết chiều dài và độ chênh dọc nó che phủ.
Các giá trị cosec thường gặp
Các giá trị cosec quan trọng cho góc thông dụng:
- csc(0°) = không xác định (tiệm cận đứng)
- csc(30°) = 2
- csc(45°) = √2 ≈ 1,414
- csc(60°) = 2/√3 ≈ 1,155
- csc(90°) = 1 (giá trị dương nhỏ nhất)
- csc(120°) = 2/√3 ≈ 1,155
- csc(135°) = √2 ≈ 1,414
- csc(150°) = 2
Câu hỏi thường gặp
Vì csc(x) = 1 / sin(x), và sin(0°) = 0. Chia cho 0 là không xác định, nên csc(0°) — và csc(180°), csc(360°), csc(nπ) với mọi số nguyên n — không có giá trị. Về hình học, trên đường tròn đơn vị, csc(θ) là tung độ y mà đường tiếp tuyến tại điểm góc cắt trục y; khi θ = 0 điểm đó là (1, 0), tiếp tuyến thẳng đứng, và đường thẳng đứng không bao giờ cắt trục y. Tiến tới 0° từ trên, csc tăng tới +∞: csc(1°) ≈ 57,30, csc(0,1°) ≈ 572,96, csc(0,01°) ≈ 5.729,58. Tiến từ dưới (ở phần tư thứ tư, gần 360°), nó lao xuống −∞. Đồ thị csc có tiệm cận đứng tại mọi bội của π, chính nơi sin cắt 0. So sánh với sec: sec có tiệm cận tại π/2 + nπ nơi cos bằng 0, và tang có tiệm cận tại cùng vị trí với sec. Cosec và cotang dùng chung tiệm cận tại bội của π.
Vì sin bị chặn giữa −1 và +1, và cosec là nghịch đảo của nó. Nếu 0 < |sin(x)| ≤ 1, thì |1/sin(x)| ≥ 1. Vậy csc(x) luôn có độ lớn tối thiểu 1. Khi sin(x) tiến đến 1 (cực đại), csc(x) tiến tới 1 từ trên; khi sin(x) tiến đến 0 (giới hạn trước khi không xác định), csc(x) lao tới ±∞. Giá trị chính xác csc(x) = 1 chỉ xảy ra tại x = π/2 + 2nπ (nơi sin = 1), và csc(x) = −1 chỉ tại x = 3π/2 + 2nπ (nơi sin = −1). Khoảng trống bị chặn bởi 1 này là dấu nhận diện đồ thị cosec: mỗi nhánh là chữ U (hoặc U ngược) đầu mút nằm chính xác tại ±1 và hai cánh phóng tới vô cực ở tiệm cận. Cùng mô hình áp dụng cho sec, bị chặn bởi ±1 từ bên trong vì lý do tương tự. Tang và cotang ngược lại, không có khoảng trống ấy vì chúng nhận mọi giá trị thực.
Bắt đầu từ đẳng thức chính sin²(x) + cos²(x) = 1. Chia mọi số hạng cho sin²(x): 1 + cot²(x) = csc²(x), vì cos²/sin² = cot² và 1/sin² = csc². Đâ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²). Hữu ích vì cho phép thay cotang bằng cosec và ngược lại, và xuất hiện liên tục trong tích phân. Ví dụ ∫csc²(x) dx = −cot(x) + C dùng đẳng thức để nhận ra đạo hàm của cot. Khi thấy √(x² − 1) trong biểu thức tích phân, phép thế x = csc(θ) biến nó thành |cot(θ)| qua đẳng thức này, làm tích phân giải được. Học cả ba đẳng thức cùng nhau — sin²+cos²=1, 1+tan²=sec², 1+cot²=csc² — chúng là anh em sinh ra từ cùng phương trình bằng cách chia cho thứ khác nhau.
Đạo hàm: d/dx csc(x) = −csc(x)·cot(x). Chứng minh: csc(x) = (sin(x))⁻¹, áp dụng quy tắc dây xích: d/dx (sin(x))⁻¹ = −1·(sin(x))⁻² · cos(x) = −cos(x)/sin²(x) = −(cos(x)/sin(x)) · (1/sin(x)) = −cot(x)·csc(x). Dấu trừ đến từ số mũ −1; cấu trúc cot·csc xuất hiện khi phân tách kết quả về họ trig chuẩn. Tích phân: ∫csc(x) dx = −ln|csc(x) + cot(x)| + C, tương đương ln|tan(x/2)| + C. Đây là nguyên hàm-mẹo mà mọi sinh viên giải tích phải thuộc vì không hiển nhiên từ hàm dưới dấu — chứng minh tiêu chuẩn nhân hàm với (csc(x) + cot(x))/(csc(x) + cot(x)), cho tử bằng đạo hàm của mẫu, rồi áp dụng u = csc(x) + cot(x). Công thức kết quả tương xứng với tích phân sec, chỉ dịch một phần tư vòng.
Cosec có ít ứng dụng nổi bật hơn sin hay tang, nhưng xuất hiện trong: (1) quang học khí quyển, nơi khối lượng không khí — lượng khí quyển ánh sáng đi qua để tới bạn — xấp xỉ sec(góc thiên đỉnh), tương đương csc(góc cao). Ánh sáng hoàng hôn đỏ hơn vì csc tăng lớn khi mặt trời thấp; (2) trắc địa, nơi khoảng cách nghiêng từ khoảng ngang biết trước và góc nâng là ngang · sec(nâng) = ngang · csc(co-cao), hữu ích trong radar và lidar; (3) quang học và điện kỹ thuật, nơi góc Brewster và độ lớn phasor AC đôi khi xuất hiện dưới dạng cosec của các góc tự nhiên hơn; (4) tán xạ Rutherford trong vật lý hạt, nơi mặt cắt vi phân tỉ lệ với csc⁴(θ/2) — sự kiện tán xạ góc nhỏ phổ biến hơn rất nhiều so với góc lớn, quan sát thực nghiệm chứng minh nguyên tử có nhân dày đặc nhỏ; (5) tinh thể học, nơi định luật Bragg nλ = 2d·sin(θ) có thể đảo cho d theo csc(θ). Phần lớn các trường hợp, cosec xuất hiện vì tác giả ưa ký hiệu nghịch đảo-của-sin hơn là chia-cho-sin.
Vì ảnh của cosec là (−∞, −1] ∪ [1, +∞) — đó là toàn bộ các giá trị nó nhận. Hỏi «góc nào có cosec bằng 0,5?» giống như hỏi «góc nào có sin bằng 2?» — không tồn tại, vì nghịch đảo đòi sin = 2, ngoài phạm vi của sin. Một số máy tính lặng lẽ trả NaN hay lỗi cho arccsc(0,5); số khác trả về số phức dùng tiếp tục giải tích của arcsin. Với nghịch đảo chính giá trị thực, quy tắc nghiêm ngặt: |x| phải ≥ 1. Hai đầu mút đặc biệt: arccsc(1) = π/2 (90°) và arccsc(−1) = −π/2 (−90°), vì đây là đầu vào tại đó csc đạt giá trị nghịch đảo nhỏ và lớn nhất. Khi |x| tăng, góc giảm về 0 — nhưng không bao giờ chạm, vì csc có tiệm cận ở đó. Vậy arccsc ánh xạ miền rời rạc [−∞, −1] ∪ [1, ∞] tới ảnh rời rạc [−π/2, 0) ∪ (0, π/2].
Không, và nhầm hai cái này là lỗi rất phổ biến của học sinh. csc(x) là cosec — nghịch đảo của sin, bằng 1/sin(x). sin⁻¹(x) là hàm sin nghịch, cũng viết arcsin(x), trả về góc có sin bằng x. Ký hiệu là cái bẫy: khi viết «sin²(x)» nghĩa là (sin(x))², nên khi viết «sin⁻¹(x)» nó có vẻ phải nghĩa là (sin(x))⁻¹ = 1/sin(x) = csc(x). Nhưng theo quy ước sin⁻¹ nghĩa là hàm nghịch, không phải nghịch đảo. Vậy sin⁻¹(0,5) = 30° (góc), còn csc(0,5) = 1/sin(0,5 rad) ≈ 2,086 (tỷ số). Một số phím máy tính dán nhãn arcsin là «sin⁻¹», càng làm rối. Để tránh lỗi: ưu tiên arcsin(x) cho sin nghịch, viết csc(x) cho nghịch đảo của sin, và dành chỉ số mũ −1 cho hàm bạn đã chắc là nghịch chứ không phải nghịch đảo. Cùng cái bẫy với cos⁻¹/sec, tan⁻¹/cot, v.v.
Vì sin(x) có chu kỳ 2π và csc(x) = 1/sin(x). Lấy nghịch đảo không thay đổi chu kỳ — nếu hàm lặp lại sau mỗi 2π, nghịch đảo của nó cũng vậy (trừ các điểm 0, biến thành tiệm cận). Kiểm tra: csc(x + 2π) = 1/sin(x + 2π) = 1/sin(x) = csc(x). Sec cũng vậy, chu kỳ 2π như cos cha nó. Ngược lại, tang và cotang có chu kỳ ngắn hơn π vì định nghĩa của chúng liên quan tỷ số sin/cos hay cos/sin nhận cùng giá trị (với hai lần đổi dấu) sau nửa vòng. Vậy bốn hàm «cha» (sin, cos, sec, csc) đều chu kỳ 2π, hai hàm «tỷ số» (tang, cotang) chu kỳ π. Đây cũng là lý do arcsin và arccos có khoảng đầu ra rộng hơn arctan và arccot — chúng cần phủ một chu kỳ đầy đủ, không phải nửa.