Hàm lượng giác – Wikipedia tiếng Việt

Trong toán học nói chung và lượng giác học nói riêng, các hàm lượng giác là các hàm toán học của góc, được dùng khi nghiên cứu tam giác và các hiện tượng có tính chất tuần hoàn. Các hàm lượng giác của một góc thường được định nghĩa bởi tỷ lệ chiều dài hai Cạnh của tam giác vuông chứa góc đó, hoặc tỷ lệ chiều dài giữa các đoạn thẳng nối các điểm đặc biệt trên vòng tròn đơn vị. Những định nghĩa hiện đại hơn thường coi các hàm lượng giác là chuỗi số vô hạn hoặc là nghiệm của một số phương trình vi phân, điều này cho phép hàm lượng giác có thể có đối số là một số thực hay một số phức bất kì.

Các hàm lượng giác không phải là những hàm số đại số và hoàn toàn có thể xếp vào loại hàm số siêu việt .

Các hàm lượng giác cơ bản[sửa|sửa mã nguồn]

Ngày nay, tất cả chúng ta thường thao tác với sáu hàm lượng giác cơ bản, được liệt kê trong bảng dưới, kèm theo liên hệ toán học giữa những hàm .

Hàm Viết tắt Liên hệ
Sin sin

sin

θ
=
cos

(

π
2


θ

)

{\displaystyle \sin \theta =\cos \left({\frac {\pi }{2}}-\theta \right)\,}

\sin \theta =\cos \left({\frac  {\pi }{2}}-\theta \right)\,

Cos cos cos ⁡ θ = sin ⁡ ( π 2 − θ ) { \ displaystyle \ cos \ theta = \ sin \ left ( { \ frac { \ pi } { 2 } } – \ theta \ right ) \, }\cos \theta =\sin \left({\frac  {\pi }{2}}-\theta \right)\,
Tang tan

(hoặc tg)

tan ⁡ θ = 1 cot ⁡ θ = sin ⁡ θ cos ⁡ θ = cot ⁡ ( π 2 − θ ) { \ displaystyle \ tan \ theta = { \ frac { 1 } { \ cot \ theta } } = { \ frac { \ sin \ theta } { \ cos \ theta } } = \ cot \ left ( { \ frac { \ pi } { 2 } } – \ theta \ right ) \, }\tan \theta ={\frac  {1}{\cot \theta }}={\frac  {\sin \theta }{\cos \theta }}=\cot \left({\frac  {\pi }{2}}-\theta \right)\,
Cotang cot

(hoặc ctg)

cot ⁡ θ = 1 tan ⁡ θ = cos ⁡ θ sin ⁡ θ = tan ⁡ ( π 2 − θ ) { \ displaystyle \ cot \ theta = { \ frac { 1 } { \ tan \ theta } } = { \ frac { \ cos \ theta } { \ sin \ theta } } = \ tan \ left ( { \ frac { \ pi } { 2 } } – \ theta \ right ) \, }\cot \theta ={\frac  {1}{\tan \theta }}={\frac  {\cos \theta }{\sin \theta }}=\tan \left({\frac  {\pi }{2}}-\theta \right)\,
Sec sec sec ⁡ θ = 1 cos ⁡ θ = csc ⁡ ( π 2 − θ ) { \ displaystyle \ sec \ theta = { \ frac { 1 } { \ cos \ theta } } = \ csc \ left ( { \ frac { \ pi } { 2 } } – \ theta \ right ) \, }\sec \theta ={\frac  {1}{\cos \theta }}=\csc \left({\frac  {\pi }{2}}-\theta \right)\,
Cosec csc csc ⁡ θ = 1 sin ⁡ θ = sec ⁡ ( π 2 − θ ) { \ displaystyle \ csc \ theta = { \ frac { 1 } { \ sin \ theta } } = \ sec \ left ( { \ frac { \ pi } { 2 } } – \ theta \ right ) \, }\csc \theta ={\frac  {1}{\sin \theta }}=\sec \left({\frac  {\pi }{2}}-\theta \right)\,

Trong lịch sử dân tộc, một số ít hàm lượng giác khác đã được nhắc đến, nhưng nay ít dùng là :

  • versin (versin = 1 − cos)
  • exsecant (exsec = sec − 1).

Xem thêm bài đẳng thức lượng giác để biết thêm rất nhiều liên hệ khác nữa giữa những hàm lượng giác .

Những nghiên cứu một cách hệ thống và việc lập bảng tính các hàm lượng giác được cho là thực hiện lần đầu bởi Hipparchus ở Nicaea (180-125 TCN), người đã lập bảng tính độ dài của các cung tròn (có giá trị bằng góc, A, nhân với bán kính, r) và chiều dài của dây cung tương ứng (2r sin(A/2)). Sau đó, Ptolemy (thế kỷ II) tiếp tục phát triển công trình trên trong quyển Almagest, tìm ra công thức cộng và trừ cho sin(A + B) và cos(A + B). Ptolemy cũng đã suy diễn ra được công thức nửa-góc sin(A/2)2 = (1 − cos(A))/2, cho phép ông lập bảng tính với bất cứ độ chính xác cần thiết nào. Những bảng tính của Hipparchus và Ptolemy nay đã bị thất truyền.

Các phát triển về lượng giác tiếp theo diễn ra ở Ấn Độ, trong công trình Siddhantas (khoảng thế kỷ IV–V), định nghĩa hàm sin theo nửa góc và nửa dây cung. Quyển Siddhantas cũng chứa bảng tính hàm sin cổ nhất còn tồn tại đến nay (cùng với các giá trị 1 − cos), cho các góc có giá trị từ 0 đến 90 độ cách nhau 3.75 độ.

Công trình Ấn giáo này sau đó được dịch và phát triển thêm bởi người Ả Rập. Đến thế kỷ X, người Ả Rập đã dùng cả sáu hàm lượng giác cơ bản (trong tác phẩm Abu’l-Wefa), với các bảng tính hàm sin cho các góc cách nhau 0.25 độ, với độ chính xác đến 8 chữ số thập phân sau dấu phẩy, và bảng tính hàm tan.

Từ sin mà ngày nay ta dùng xuất phát từ chữ La tinh sinus (“vịnh” hay “gập”), dịch nhầm từ chữ Phạn jiva (hay jya). Jiva (vốn được đọc đầy đủ là ardha-jiva, “nửa-dây cung”, trong quyển Aryabhatiya thế kỷ VI) được chuyển tự sang tiếng Ả Rập là jiba (جب), nhưng bị nhầm thành từ khác, jaib (جب) (“vịnh”), bởi các dịch giả ở châu Âu như Robert ở Chester và Gherardo ở Cremona trong quyển Toledo (thế kỷ XII). Sự nhầm lẫn này có thể là do jiba (جب) và jaib (جب) được viết giống nhau trong tiếng Ả Rập (đa số nguyên âm bị lược bỏ trong bảng chữ cái Ả Rập).

Các công trình đầu tiên này về các hàm lượng giác đều được phát triển trong nghiên cứu thiên văn. Có lẽ quyển sách đầu tiên chỉ tập trung nghiên cứu về lượng giác là De triangulis omnimodus (1464) và Tabulae directionum của Regiomontanus (1436–1476). Quyển Tabulae directionum nói về hàm tang.

Quyển Opus palatinum de triangulis của Rheticus, một học trò của Copernicus, là quyển sách đầu tiên định nghĩa các hàm lượng giác bằng tam giác vuông thay vì dùng vòng tròn đơn vị, kèm theo bảng tính 6 hàm lượng giác cơ bản. Công trình này được hoàn thiện bởi học trò của Rheticus là Valentin Otho năm 1596.

Quyển Introductio in analysin infinitorum (1748) của Euler tập trung miêu tả cách tiếp cận giải tích đến các hàm lượng giác, định nghĩa chúng theo các chuỗi vô tận và giới thiệu “Công thức Euler” eix = cos(x) + i sin(x). Euler đã dùng các ký hiệu viết tắt sin., cos., tang., cot., sec., và cosec. giống ngày nay.

Định nghĩa bằng tam giác vuông[sửa|sửa mã nguồn]

Một tam giác vuông luôn chứa một góc 90° (π/2 radian), được ký hiệu là C trong hình này. Góc A và B có thể thay đổi. Các hàm lượng giác thể hiện mối liên hệ chiều dài các cạnh và độ lớn các góc của tam giác vuông.

Có thể định nghĩa các hàm lượng giác của góc A, bằng việc dựng nên một tam giác vuông chứa góc A. Trong tam giác vuông này, các cạnh được đặt tên như sau:

  • Cạnh huyền là cạnh đối diện với góc vuông, là cạnh dài nhất của tam giác vuông, h trên hình vẽ.
  • Cạnh đối là cạnh đối diện với góc A, a trên hình vẽ.
  • Cạnh kề là cạnh nối giữa góc A và góc vuông, b trên hình vẽ.

Dùng hình học Ơclit, tổng những góc trong tam giác là pi radian ( hay 180 ⁰ ). Khi đó :

Hàm Định nghĩa Biểu thức
Sin Cạnh đối chia cho cạnh huyền sin ⁡ A = a h { \ displaystyle \ sin A = { \ frac { a } { h } } }\sin A={\frac  {a}{h}}
Cos Cạnh kề chia cho cạnh huyền cos ⁡ A = b h { \ displaystyle \ cos A = { \ frac { b } { h } } }\cos A={\frac  {b}{h}}
Tang Cạnh đối chia cho cạnh kề tan ⁡ A = a b { \ displaystyle \ tan A = { \ frac { a } { b } } }\tan A={\frac  {a}{b}}
Cotang Cạnh kề chia cho cạnh đối cot ⁡ A = b a { \ displaystyle \ cot A = { \ frac { b } { a } } }\cot A={\frac  {b}{a}}
Sec Cạnh huyền chia cho cạnh kề sec ⁡ A = h b { \ displaystyle \ sec A = { \ frac { h } { b } } }\sec A={\frac  {h}{b}}
Cosec Cạnh huyền chia cho cạnh đối csc ⁡ A = h a { \ displaystyle \ csc A = { \ frac { h } { a } } }\csc A={\frac  {h}{a}}

Định nghĩa bằng vòng tròn đơn vị chức năng[sửa|sửa mã nguồn]

Các hàm lượng giác cũng hoàn toàn có thể được định nghĩa bằng vòng tròn đơn vị chức năng, một vòng tròn có nửa đường kính bằng 1 và tâm trùng với tâm của hệ tọa độ. Định nghĩa dùng vòng tròn đơn vị chức năng thực ra cũng dựa vào tam giác vuông, nhưng chúng hoàn toàn có thể định nghĩa cho những mọi góc là số thực, chứ không chỉ số lượng giới hạn giữa 0 và Pi / 2 radian. Các góc lớn hơn 2 π hay nhỏ hơn − 2 π quay vòng trên đường tròn .

Dùng đại số[sửa|sửa mã nguồn]

Vòng tròn đơn vị là mọi điểm (x, y) trên mặt phẳng của hình học phẳng thỏa mãn:

x2 + y2 = 1

Gọi góc θ là góc giữa đường thẳng nối tâm hệ tọa độ và điểm (x,y) trên vòng tròn và chiều dương của trục x của hệ tọa độ xy, các hàm lượng giác có thể được định nghĩa là:

Hàm Định nghĩa
sin(θ) y
cos(θ) x
tan(θ) y/x
cot(θ) x/y
sec(θ) 1/x
csc(θ) 1/y

Khi những góc quay trên vòng tròn, hàm sin, cos, sec và cosec trở nên hàm tuần hoàn với chu kỳ luân hồi 2 π radian hay 360 độ :

sin ⁡ θ = sin ⁡ ( θ + 2 π k ) { \ displaystyle \ sin \ theta = \ sin \ left ( \ theta + 2 \ pi k \ right ) }\sin \theta =\sin \left(\theta +2\pi k\right)
cos ⁡ θ = cos ⁡ ( θ + 2 π k ) { \ displaystyle \ cos \ theta = \ cos \ left ( \ theta + 2 \ pi k \ right ) }\cos \theta =\cos \left(\theta +2\pi k\right)

Ở đây θ là góc, một số thực bất kỳ; k là một số nguyên bất kỳ.

Tang và Cotang tuần hoàn với chu kỳ luân hồi π radian hay 180 độ .

Dùng hình học[sửa|sửa mã nguồn]

Mọi hàm lượng giác đều có thể được dựng lên bằng phương pháp hình học trên một vòng tròn đơn vị có tâm ở O.

Hình vẽ bên cho thấy định nghĩa bằng hình học về các hàm lượng giác cho góc bất kỳ trên vòng tròn đơn vị tâm O. Với θ là nửa cung AB:

Hàm Định nghĩa Chú thích
sin(θ) AC định nghĩa lần đầu giới thiệu trong lịch sử bởi người Ấn Độ
cos(θ) OC
tan(θ) AE đường tiếp tuyến với đường tròn tại A, ý nghĩa này đã mang lại cho cái tên “tan” của hàm, xuất phát từ tiếng La tinh là “tiếp tuyến”
cot(θ) AF
sec(θ) OE đường cắt vòng tròn, ý nghĩa này đã mang lại cho cái tên “secant” của hàm, xuất phát từ tiếng La tinh là “đường cắt vòng tròn”
csc(θ) OF
versin(θ) CD versin(θ) = 1 − cos(θ)
exsec(θ) DE exsec(θ) = sec(θ) − 1

Theo hình vẽ, dễ thấy sec và tang sẽ phân kỳ khi θ tiến tới π / 2 ( 90 độ ), Cosec và Cotang phân kỳ khi θ tiến tới 0. Nhiều cách thiết kế xây dựng tương tự như hoàn toàn có thể được triển khai trên vòng tròn đơn vị chức năng, và những đặc thù của những hàm lượng giác hoàn toàn có thể được chứng tỏ bằng hình học .

Định nghĩa bằng chuỗi[sửa|sửa mã nguồn]

Hàm sin (xanh lam) được xấp xỉ bằng chuỗi Taylor bậc 7 (màu hồng).

Dùng hình học và các tính chất của giới hạn hàm số, có thể chứng minh rằng đạo hàm của hàm sin là hàm cos và đạo hàm của hàm cos là trái dấu của hàm sin. Có thể dùng chuỗi Taylor để phân tích hàm sin và cos ra chuỗi, cho mọi góc x đo bằng giá trị radian thực. Từ hai hàm này có thể suy ra chuỗi của các hàm lượng dạng còn lại.

Các đẳng thức bên dưới đây cho biết chuỗi Taylor của những hàm lượng giác. Chúng hoàn toàn có thể dùng làm định nghĩa cho hàm lượng giác. Chúng được dùng trong nhiều ứng dụng, như chuỗi Fourier ), vì triết lý của chuỗi vô hạn hoàn toàn có thể được kiến thiết xây dựng từ nền tảng mạng lưới hệ thống số thực, độc lập với hình học. Các đặc thù như khả vi hay liên tục hoàn toàn có thể được chứng tỏ chỉ từ định nghĩa bằng chuỗi .Trong bảng dưới, quy ước :

En là số Euler thứ n
Un là số lên/xuống thứ n
Hàm Định nghĩa Cụ thể
sin(x) ∑ n = 0 ∞ ( − 1 ) n x 2 n + 1 ( 2 n + 1 ) ! { \ displaystyle \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( – 1 ) ^ { n } x ^ { 2 n + 1 } } { ( 2 n + 1 ) ! } } }\sum _{{n=0}}^{\infty }{\frac  {(-1)^{n}x^{{2n+1}}}{(2n+1)!}} x − x 3 3 ! + x 5 5 ! − x 7 7 ! + ⋯ { \ displaystyle x – { \ frac { x ^ { 3 } } { 3 ! } } + { \ frac { x ^ { 5 } } { 5 ! } } – { \ frac { x ^ { 7 } } { 7 ! } } + \ cdots }x-{\frac  {x^{3}}{3!}}+{\frac  {x^{5}}{5!}}-{\frac  {x^{7}}{7!}}+\cdots
cos(x) ∑ n = 0 ∞ ( − 1 ) n x 2 n ( 2 n ) ! { \ displaystyle \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( – 1 ) ^ { n } x ^ { 2 n } } { ( 2 n ) ! } } }\sum _{{n=0}}^{\infty }{\frac  {(-1)^{n}x^{{2n}}}{(2n)!}} 1 − x 2 2 ! + x 4 4 ! − x 6 6 ! + ⋯ { \ displaystyle 1 – { \ frac { x ^ { 2 } } { 2 ! } } + { \ frac { x ^ { 4 } } { 4 ! } } – { \ frac { x ^ { 6 } } { 6 ! } } + \ cdots }1-{\frac  {x^{2}}{2!}}+{\frac  {x^{4}}{4!}}-{\frac  {x^{6}}{6!}}+\cdots
tan(x) ∑ n = 1 ∞ 2 2 n ( 2 2 n − 1 ) U n x 2 n − 1 ( 2 n ) !, | x | < π 2 { \ displaystyle \ sum _ { n = 1 } ^ { \ infty } { \ frac { 2 ^ { 2 n } ( 2 ^ { 2 n } - 1 ) U_ { n } x ^ { 2 n - 1 } } { ( 2 n ) ! } }, \ quad \ left | x \ right | < { \ frac { \ pi } { 2 } } }\sum _{{n=1}}^{\infty }{\frac  {2^{{2n}}(2^{{2n}}-1)U_{n}x^{{2n-1}}}{(2n)!}},\quad \left|x\right|<{\frac  {\pi }{2}} x + x 3 3 + 2 x 5 15 + 17 x 7 315 + ⋯ { \ displaystyle x + { \ frac { x ^ { 3 } } { 3 } } + { \ frac { 2 x ^ { 5 } } { 15 } } + { \ frac { 17 x ^ { 7 } } { 315 } } + \ cdots }x+{\frac  {x^{3}}{3}}+{\frac  {2x^{5}}{15}}+{\frac  {17x^{7}}{315}}+\cdots
cot(x) 1 x − ∑ n = 1 ∞ 2 2 n U n x 2 n − 1 ( 2 n ) !, 0 < | x | < π 2 { \ displaystyle { \ frac { 1 } { x } } - \ sum _ { n = 1 } ^ { \ infty } { \ frac { 2 ^ { 2 n } U_ { n } x ^ { 2 n - 1 } } { ( 2 n ) ! } }, \ quad 0 < \ left | x \ right | < { \ frac { \ pi } { 2 } } }{\frac  {1}{x}}-\sum _{{n=1}}^{\infty }{\frac  {2^{{2n}}U_{n}x^{{2n-1}}}{(2n)!}},\quad 0<\left|x\right|<{\frac  {\pi }{2}} 1 x − x 3 − x 3 45 − 2 x 5 945 − ⋯ { \ displaystyle { \ frac { 1 } { x } } – { \ frac { x } { 3 } } – { \ frac { x ^ { 3 } } { 45 } } – { \ frac { 2 x ^ { 5 } } { 945 } } – \ cdots }{\frac  {1}{x}}-{\frac  {x}{3}}-{\frac  {x^{3}}{45}}-{\frac  {2x^{5}}{945}}-\cdots
sec(x) 1 + ∑ n = 1 ∞ E n x 2 n ( 2 n ) !, | x | < π 2 { \ displaystyle 1 + \ sum _ { n = 1 } ^ { \ infty } { \ frac { E_ { n } x ^ { 2 n } } { ( 2 n ) ! } }, \ quad \ left | x \ right | < { \ frac { \ pi } { 2 } } }1+\sum _{{n=1}}^{\infty }{\frac  {E_{n}x^{{2n}}}{(2n)!}},\quad \left|x\right|<{\frac  {\pi }{2}} 1 + x 2 2 + 5 x 4 24 + 61 x 6 720 + ⋯ { \ displaystyle 1 + { \ frac { x ^ { 2 } } { 2 } } + { \ frac { 5 x ^ { 4 } } { 24 } } + { \ frac { 61 x ^ { 6 } } { 720 } } + \ cdots }1+{\frac  {x^{2}}{2}}+{\frac  {5x^{4}}{24}}+{\frac  {61x^{6}}{720}}+\cdots
csc(x) 1 x + ∑ n = 1 ∞ 2 ( 2 2 n − 1 − 1 ) B n x 2 n − 1 ( 2 n ) !, 0 < | x | < π 2 { \ displaystyle { \ frac { 1 } { x } } + \ sum _ { n = 1 } ^ { \ infty } { \ frac { 2 ( 2 ^ { 2 n - 1 } - 1 ) B_ { n } x ^ { 2 n - 1 } } { ( 2 n ) ! } }, \ quad 0 < \ left | x \ right | < { \ frac { \ pi } { 2 } } }{\frac  {1}{x}}+\sum _{{n=1}}^{\infty }{\frac  {2(2^{{2n-1}}-1)B_{n}x^{{2n-1}}}{(2n)!}},\quad 0<\left|x\right|<{\frac  {\pi }{2}} 1 x + x 6 + 7 x 3 360 + 31 x 5 15120 + ⋯ { \ displaystyle { \ frac { 1 } { x } } + { \ frac { x } { 6 } } + { \ frac { 7 x ^ { 3 } } { 360 } } + { \ frac { 31 x ^ { 5 } } { 15120 } } + \ cdots }{\frac  {1}{x}}+{\frac  {x}{6}}+{\frac  {7x^{3}}{360}}+{\frac  {31x^{5}}{15120}}+\cdots

Trên trường số phức[sửa|sửa mã nguồn]

Từ định nghĩa bằng gì đó hoàn toàn có thể chứng tỏ rằng những hàm sin và cos là phần ảo và phần thực của hàm mũ của số ảo :

e i θ = cos ⁡ θ + i sin ⁡ θ. { \ displaystyle e ^ { i \ theta } = \ cos \ theta + i \ sin \ theta \ ,. }e^{{i\theta }}=\cos \theta +i\sin \theta \,.

Với i là đơn vị ảo, căn bậc hai của -1.

Liên hệ này được phát hiện lần đầu bởi Euler và công thức này đã được gọi là công thức Euler. Trong giải tích phức, nếu vẽ vòng tròn đơn vị trên mặt phẳng phức, gồm các điểm z = eix, các mối liên hệ giữa số phức và lượng giác trở nên rõ ràng. Ví dụ như các quá trình miêu tả bởi hàm mũ phức có tính chất tuần hoàn.

Công thức trên cũng cho phép mở rộng hàm lượng giác ra cho biến phức z:

sin ⁡ z = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! z 2 n + 1 = e ı z − e − ı z 2 ı = − ı sinh ⁡ ( ı z ) { \ displaystyle \ sin z \, = \, \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( – 1 ) ^ { n } } { ( 2 n + 1 ) ! } } z ^ { 2 n + 1 } \, = \, { e ^ { \ imath z } – e ^ { – \ imath z } \ over 2 \ imath } = – \ imath \ sinh \ left ( \ imath z \ right ) }\sin z\,=\,\sum _{{n=0}}^{{\infty }}{\frac  {(-1)^{{n}}}{(2n+1)!}}z^{{2n+1}}\,=\,{e^{{\imath z}}-e^{{-\imath z}} \over 2\imath }=-\imath \sinh \left(\imath z\right)
cos ⁡ z = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! z 2 n = e ı z + e − ı z 2 = cosh ⁡ ( ı z ) { \ displaystyle \ cos z \, = \, \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( – 1 ) ^ { n } } { ( 2 n ) ! } } z ^ { 2 n } \, = \, { e ^ { \ imath z } + e ^ { – \ imath z } \ over 2 } = \ cosh \ left ( \ imath z \ right ) }\cos z\,=\,\sum _{{n=0}}^{{\infty }}{\frac  {(-1)^{{n}}}{(2n)!}}z^{{2n}}\,=\,{e^{{\imath z}}+e^{{-\imath z}} \over 2}=\cosh \left(\imath z\right)

Trong trường hợp đặc biệt, z = x, một số thực

cos ⁡ x = Re ( e ı x ) { \ displaystyle \ cos x \, = \, { \ mbox { Re } } ( e ^ { \ imath x } ) }\cos x\,=\,{\mbox{Re }}(e^{{\imath x}})
sin ⁡ x = Im ( e ı x ) { \ displaystyle \ sin x \, = \, { \ mbox { Im } } ( e ^ { \ imath x } ) }\sin x\,=\,{\mbox{Im }}(e^{{\imath x}})

Định nghĩa bằng phương trình vi phân[sửa|sửa mã nguồn]

Cả hai hàm sin và cos thỏa mãn nhu cầu phương trình vi phân

y ″ = − y { \ displaystyle y \, ‘ ‘ = – y }y\,''=-y

Các hàm này là những hàm trái dấu của vi phân bậc hai của chúng .

Trong không gian vectơ hai chiều V chứa tất cả các nghiệm của phương trình vi phân trên, sin là hàm duy nhất thỏa mãn điều kiện biên y(0) = 0 và y′(0) = 1, còn cos là hàm duy nhất thỏa mãn điều kiện biên y(0) = 1 và y′(0) = 0. Hai hàm này lại độc lập tuyến tính trong V, chúng tạo thành hệ cơ sở cho V.

Thực tế cách định nghĩa này tương tự với việc dùng công thức Euler. Phương trình vi phân không chỉ hoàn toàn có thể được dùng để định nghĩa sin và cos mà còn hoàn toàn có thể được dùng để chứng tỏ những đẳng thức lượng giác cho những hàm này .Hàm tan là nghiệm duy nhất của phương trình vi phân phi tuyến sau :

y ′ = 1 + y 2 { \ displaystyle y \, ‘ = 1 + y ^ { 2 } }y\,'=1+y^{2}

với điều kiện biên y(0) = 0. Xem [1] Lưu trữ 2004-06-02 tại Wayback Machine cho một chứng minh của công thức này.

Các phương trình trên chỉ đúng khi biến số trong các hàm lượng giác là radian. Nếu dùng đơn vị đo góc khác, biến số thay đổi bằng qua một nhân tử k. Ví dụ, nếu x được tính bằng độ, k sẽ là:

k
=

π
180

.

{\displaystyle k={\frac {\pi }{180}}.}

k={\frac  {\pi }{180}}.

Lúc đó :

f ( x ) = sin ⁡ ( k x ) ; k ≠ 0, k ≠ 1 { \ displaystyle f ( x ) = \ sin ( kx ) ; k \ neq 0, k \ neq 1 \, }f(x)=\sin(kx);k\neq 0,k\neq 1\,

và vi phân của hàm sin bị biến hóa cùng nhân tử này :

f ′ ( x ) = k cos ⁡ ( k x ) { \ displaystyle f ‘ ( x ) = k \ cos ( kx ) \, }f'(x)=k\cos(kx)\,

Nghĩa là hàm sẽ phải thỏa mãn nhu cầu :

y ″ = − k 2 y { \ displaystyle y ‘ ‘ = – k ^ { 2 } y \, }y''=-k^{2}y\,

Ví dụ trên cho hàm sin, điều tựa như cũng xảy ra cho hàm lượng giác khác .

Các định nghĩa khác[sửa|sửa mã nguồn]

Hàm sin và cos, và các hàm lượng giác khác suy ra từ hai hàm này, có thể được định nghĩa là hàm sincos trong định lý sau:

Tồn tại duy nhất cặp hàm sincos trên trường số thực thỏa mãn:

  1. sin(x)2 + cos(x)2 = 1
  2. sin(x+y) = sin(x)cos(y) + cos(x)sin(y)
  3. cos(x+y) = cos(x)cos(y) – sin(x)sin(y)
  4. 0 < xcos(x) < sin(x) < x với mọi 0 < x < 1

Ở đây

x
,
y

R

{\displaystyle x,y\in \mathbb {R} }

x,y\in {\mathbb  {R}}.

Miền xác lập và miền giá trị[sửa|sửa mã nguồn]

Các hàm số lượng giác trên trường số thực có miền xác lập và miền giá trị được tổng kết trong bảng sau :

Hàm Miền xác định Miền giá trị
sin R (toàn bộ trục số thực) [-1, 1]
cos R [-1, 1]
tang R/{π/2 + |k nguyên} (các số thực khác π/2 + , với k là các số nguyên) R
cotang R/{|k nguyên} (các số thực khác , với k là các số nguyên) R

Phương pháp tính[sửa|sửa mã nguồn]

Việc tính giá trị số cho những hàm lượng giác là bài toán phức tạp. Ngày nay, đa phần mọi người hoàn toàn có thể dùng máy tính hay máy tính bỏ túi khoa học để tính giá trị những hàm này. Dưới đây trình diễn việc dùng bảng tính trong lịch sử vẻ vang để tra giá trị những hàm lượng giác, kỹ thuật tính thời nay trong máy tính, và một số ít giá trị đúng chuẩn dễ nhớ .Trước hết, việc tính giá trị những hàm lượng giác chỉ cần tập trung chuyên sâu vào những góc nằm, ví dụ, từ 0 đến π / 2, vì giá trị của những hàm lượng giác ở những góc khác đều hoàn toàn có thể được suy ra bằng đặc thù tuần hoàn và đối xứng của những hàm .Trước khi có máy tính, người ta thường tìm giá trị hàm lượng giác bằng cách nội suy từ một bảng tính sẵn, có độ đúng chuẩn tới nhiều chữ số thập phân. Các bảng tính này thường được kiến thiết xây dựng bằng cách sử dụng những công thức lượng giác, như công thức chia đôi góc, hay công thức cộng góc, khởi đầu từ một vài giá trị đúng chuẩn ( như sin ( π / 2 ) = 1 ) .Các máy tính văn minh dùng nhiều kỹ thuật khác nhau ( Kantabutra, 1996 ). Một chiêu thức thông dụng, đặc biệt quan trọng cho những máy tính có những bộ tính số thập phân, là tích hợp xê dịch đa thức ( ví dụ chuỗi Taylor hữu hạn hoặc hàm hữu tỉ ) với những bảng tính sẵn — tiên phong, máy tính tìm đến giá trị tính sẵn trong bảng nhỏ cho góc nằm gần góc cần tính nhất, rồi dùng đa thức để sửa giá trị trong bảng về giá trị đúng mực hơn. Trên những phần cứng không có bộ số học và lô gíc, hoàn toàn có thể dùng thuật toán CORDIC ( hoặc những kỹ thuật tựa như ) để tính hiệu suất cao hơn, vì thuật toán này chỉ dùng toán tử chuyển vị và phép cộng. Các chiêu thức này đều thường được lắp sẵn trong những phần cứng máy tính để tăng vận tốc giải quyết và xử lý .Đối với những góc đặc biệt quan trọng, giá trị những hàm lượng giác hoàn toàn có thể được tính bằng giấy và bút dựa vào định lý Pytago. Ví dụ như sin, cos và tang của những góc là bội của π / 60 radian ( 3 độ ) hoàn toàn có thể tính được đúng chuẩn bằng giấy bút .

Một ví dụ đơn giản là tam giác vuông cân với các góc nhọn bằng π/4 radian (45 độ). Cạnh kề b bằng cạnh đối a và có thể đặt a = b = 1. Sin, cos và tang của π/4 radian (45 độ) có thể tính bằng định lý Pytago như sau:

c = a 2 + b 2 = 2 { \ displaystyle c = { \ sqrt { a ^ { 2 } + b ^ { 2 } } } = { \ sqrt { 2 } } }c={\sqrt  {a^{2}+b^{2}}}={\sqrt  2}

Nên :

sin ⁡ ( π / 4 ) = sin ⁡ ( 45 ∘ ) = cos ⁡ ( π / 4 ) = cos ⁡ ( 45 ∘ ) = 1 2 { \ displaystyle \ sin \ left ( \ pi / 4 \ right ) = \ sin \ left ( 45 ^ { \ circ } \ right ) = \ cos \ left ( \ pi / 4 \ right ) = \ cos \ left ( 45 ^ { \ circ } \ right ) = { 1 \ over { \ sqrt { 2 } } } }\sin \left(\pi /4\right)=\sin \left(45^{\circ }\right)=\cos \left(\pi /4\right)=\cos \left(45^{\circ }\right)={1 \over {\sqrt  2}}
tan ⁡ ( π / 4 ) = tan ⁡ ( 45 ∘ ) = 2 2 = 1 { \ displaystyle \ tan \ left ( \ pi / 4 \ right ) = \ tan \ left ( 45 ^ { \ circ } \ right ) = { { \ sqrt { 2 } } \ over { \ sqrt { 2 } } } = 1 }\tan \left(\pi /4\right)=\tan \left(45^{\circ }\right)={{\sqrt  2} \over {\sqrt  2}}=1

Một ví dụ khác là tìm giá trị hàm lượng giác của π / 3 radian ( 60 độ ) và π / 6 radian ( 30 độ ), hoàn toàn có thể mở màn với tam giác đều có những cạnh bằng 1. Cả ba góc của tam giác bằng π / 3 radian ( 60 độ ). Chia đôi tam giác này thành hai tam giác vuông có góc nhọn π / 6 radian ( 30 độ ) và π / 3 radian ( 60 độ ). Mỗi tam giác vuông có cạnh ngắn nhất là 50%, cạnh huyền bằng 1 và cạnh còn lại bằng ( √ 3 ) / 2. Như vậy :

sin ⁡ ( π / 6 ) = sin ⁡ ( 30 ∘ ) = cos ⁡ ( π / 3 ) = cos ⁡ ( 60 ∘ ) = 1 2 { \ displaystyle \ sin \ left ( \ pi / 6 \ right ) = \ sin \ left ( 30 ^ { \ circ } \ right ) = \ cos \ left ( \ pi / 3 \ right ) = \ cos \ left ( 60 ^ { \ circ } \ right ) = { 1 \ over 2 } }\sin \left(\pi /6\right)=\sin \left(30^{\circ }\right)=\cos \left(\pi /3\right)=\cos \left(60^{\circ }\right)={1 \over 2}
cos ⁡ ( π / 6 ) = cos ⁡ ( 30 ∘ ) = sin ⁡ ( π / 3 ) = sin ⁡ ( 60 ∘ ) = 3 2 { \ displaystyle \ cos \ left ( \ pi / 6 \ right ) = \ cos \ left ( 30 ^ { \ circ } \ right ) = \ sin \ left ( \ pi / 3 \ right ) = \ sin \ left ( 60 ^ { \ circ } \ right ) = { { \ sqrt { 3 } } \ over 2 } }\cos \left(\pi /6\right)=\cos \left(30^{\circ }\right)=\sin \left(\pi /3\right)=\sin \left(60^{\circ }\right)={{\sqrt  3} \over 2}
tan ⁡ ( π / 6 ) = tan ⁡ ( 30 ∘ ) = cot ⁡ ( π / 3 ) = cot ⁡ ( 60 ∘ ) = 1 3 { \ displaystyle \ tan \ left ( \ pi / 6 \ right ) = \ tan \ left ( 30 ^ { \ circ } \ right ) = \ cot \ left ( \ pi / 3 \ right ) = \ cot \ left ( 60 ^ { \ circ } \ right ) = { 1 \ over { \ sqrt { 3 } } } }\tan \left(\pi /6\right)=\tan \left(30^{\circ }\right)=\cot \left(\pi /3\right)=\cot \left(60^{\circ }\right)={1 \over {\sqrt  3}}

Hàm lượng giác ngược[sửa|sửa mã nguồn]

Các hàm lượng giác tuần hoàn, do vậy để tìm hàm ngược, cần số lượng giới hạn miền của hàm. Dươi đây là định nghĩa những hàm lượng giác ngược :

Giới hạn miền Định nghĩa
-π/2 ≤ y ≤ π/2 y = arcsin(x) khi và chỉ khi x = sin(y)
0 ≤ y ≤ π y = arccos(x) khi và chỉ khi x = cos(y)
-π/2 < y < π/2 y = arctan(x) khi và chỉ khi x = tan(y)
0 < y < π y = arccot(x) khi và chỉ khi x = cot(y)
0 < y < π và y ≠ π/2 y = arcsec(x) khi và chỉ khi x = sec(y)
-π/2 < y < π/2 và y ≠ 0 y = arccsc(x) khi và chỉ khi x = csc(y)

Các hàm ngược được ký hiệu là arcsin và arccosCác hàm lượng giác ngược cũng hoàn toàn có thể được định nghĩa bằng chuỗi vô hạn :

arcsin ⁡ z = z + ( 1 2 ) z 3 3 + ( 1 ⋅ 3 2 ⋅ 4 ) z 5 5 + ( 1 ⋅ 3 ⋅ 5 2 ⋅ 4 ⋅ 6 ) z 7 7 + ⋯ = ∑ n = 0 ∞ ( ( 2 n ) ! 2 2 n ( n ! ) 2 ) z 2 n + 1 ( 2 n + 1 ) | z | < 1 { \ displaystyle { \ begin { matrix } \ arcsin z và = và z + \ left ( { \ frac { 1 } { 2 } } \ right ) { \ frac { z ^ { 3 } } { 3 } } + \ left ( { \ frac { 1 \ cdot 3 } { 2 \ cdot 4 } } \ right ) { \ frac { z ^ { 5 } } { 5 } } + \ left ( { \ frac { 1 \ cdot 3 \ cdot 5 } { 2 \ cdot 4 \ cdot 6 } } \ right ) { \ frac { z ^ { 7 } } { 7 } } + \ cdots \ \ và = và \ sum _ { n = 0 } ^ { \ infty } \ left ( { \ frac { ( 2 n ) ! } { 2 ^ { 2 n } ( n ! ) ^ { 2 } } } \ right ) { \ frac { z ^ { 2 n + 1 } } { ( 2 n + 1 ) } } \ end { matrix } } \, \ quad \ left | z \ right | < 1 }{\begin{matrix}\arcsin z&=&z+\left({\frac  {1}{2}}\right){\frac  {z^{3}}{3}}+\left({\frac  {1\cdot 3}{2\cdot 4}}\right){\frac  {z^{5}}{5}}+\left({\frac  {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac  {z^{7}}{7}}+\cdots \\&=&\sum _{{n=0}}^{\infty }\left({\frac  {(2n)!}{2^{{2n}}(n!)^{2}}}\right){\frac  {z^{{2n+1}}}{(2n+1)}}\end{matrix}}\,\quad \left|z\right|<1
arccos ⁡ z = π 2 − arcsin ⁡ z = π 2 − ( z + ( 1 2 ) z 3 3 + ( 1 ⋅ 3 2 ⋅ 4 ) z 5 5 + ( 1 ⋅ 3 ⋅ 5 2 ⋅ 4 ⋅ 6 ) z 7 7 + ⋯ ) = π 2 − ∑ n = 0 ∞ ( ( 2 n ) ! 2 2 n ( n ! ) 2 ) z 2 n + 1 ( 2 n + 1 ) | z | < 1 { \ displaystyle { \ begin { matrix } \ arccos z và = và { \ frac { \ pi } { 2 } } - \ arcsin z \ \ và = và { \ frac { \ pi } { 2 } } - ( z + \ left ( { \ frac { 1 } { 2 } } \ right ) { \ frac { z ^ { 3 } } { 3 } } + \ left ( { \ frac { 1 \ cdot 3 } { 2 \ cdot 4 } } \ right ) { \ frac { z ^ { 5 } } { 5 } } + \ left ( { \ frac { 1 \ cdot 3 \ cdot 5 } { 2 \ cdot 4 \ cdot 6 } } \ right ) { \ frac { z ^ { 7 } } { 7 } } + \ cdots ) \ \ và = và { \ frac { \ pi } { 2 } } - \ sum _ { n = 0 } ^ { \ infty } \ left ( { \ frac { ( 2 n ) ! } { 2 ^ { 2 n } ( n ! ) ^ { 2 } } } \ right ) { \ frac { z ^ { 2 n + 1 } } { ( 2 n + 1 ) } } \ end { matrix } } \, \ quad \ left | z \ right | < 1 }{\begin{matrix}\arccos z&=&{\frac  {\pi }{2}}-\arcsin z\\&=&{\frac  {\pi }{2}}-(z+\left({\frac  {1}{2}}\right){\frac  {z^{3}}{3}}+\left({\frac  {1\cdot 3}{2\cdot 4}}\right){\frac  {z^{5}}{5}}+\left({\frac  {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac  {z^{7}}{7}}+\cdots )\\&=&{\frac  {\pi }{2}}-\sum _{{n=0}}^{\infty }\left({\frac  {(2n)!}{2^{{2n}}(n!)^{2}}}\right){\frac  {z^{{2n+1}}}{(2n+1)}}\end{matrix}}\,\quad \left|z\right|<1
arctan ⁡ z = z − z 3 3 + z 5 5 − z 7 7 + ⋯ = ∑ n = 0 ∞ ( − 1 ) n z 2 n + 1 2 n + 1 | z | < 1 { \ displaystyle { \ begin { matrix } \ arctan z và = và z - { \ frac { z ^ { 3 } } { 3 } } + { \ frac { z ^ { 5 } } { 5 } } - { \ frac { z ^ { 7 } } { 7 } } + \ cdots \ \ và = và \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( - 1 ) ^ { n } z ^ { 2 n + 1 } } { 2 n + 1 } } \ end { matrix } } \, \ quad \ left | z \ right | < 1 }{\begin{matrix}\arctan z&=&z-{\frac  {z^{3}}{3}}+{\frac  {z^{5}}{5}}-{\frac  {z^{7}}{7}}+\cdots \\&=&\sum _{{n=0}}^{\infty }{\frac  {(-1)^{n}z^{{2n+1}}}{2n+1}}\end{matrix}}\,\quad \left|z\right|<1
arccot ⁡ z = π 2 − arctan ⁡ z = π 2 − ( z − z 3 3 + z 5 5 − z 7 7 + ⋯ ) = π 2 − ∑ n = 0 ∞ ( − 1 ) n z 2 n + 1 2 n + 1 | z | < 1 { \ displaystyle { \ begin { matrix } \ operatorname { arccot } z và = và { \ frac { \ pi } { 2 } } - \ arctan z \ \ và = và { \ frac { \ pi } { 2 } } - ( z - { \ frac { z ^ { 3 } } { 3 } } + { \ frac { z ^ { 5 } } { 5 } } - { \ frac { z ^ { 7 } } { 7 } } + \ cdots ) \ \ và = và { \ frac { \ pi } { 2 } } - \ sum _ { n = 0 } ^ { \ infty } { \ frac { ( - 1 ) ^ { n } z ^ { 2 n + 1 } } { 2 n + 1 } } \ end { matrix } } \, \ quad \ left | z \ right | < 1 }{\begin{matrix}\operatorname{arccot} z&=&{\frac  {\pi }{2}}-\arctan z\\&=&{\frac  {\pi }{2}}-(z-{\frac  {z^{3}}{3}}+{\frac  {z^{5}}{5}}-{\frac  {z^{7}}{7}}+\cdots )\\&=&{\frac  {\pi }{2}}-\sum _{{n=0}}^{\infty }{\frac  {(-1)^{n}z^{{2n+1}}}{2n+1}}\end{matrix}}\,\quad \left|z\right|<1
arccsc ⁡ z = arcsin ⁡ ( z − 1 ) = z − 1 + ( 1 2 ) z − 3 3 + ( 1 ⋅ 3 2 ⋅ 4 ) z − 5 5 + ( 1 ⋅ 3 ⋅ 5 2 ⋅ 4 ⋅ 6 ) z − 7 7 + ⋯ = ∑ n = 0 ∞ ( ( 2 n ) ! 2 2 n ( n ! ) 2 ) z − ( 2 n + 1 ) 2 n + 1 | z | > 1 { \ displaystyle { \ begin { matrix } \ operatorname { arccsc } z và = và \ arcsin \ left ( z ^ { – 1 } \ right ) \ \ và = và z ^ { – 1 } + \ left ( { \ frac { 1 } { 2 } } \ right ) { \ frac { z ^ { – 3 } } { 3 } } + \ left ( { \ frac { 1 \ cdot 3 } { 2 \ cdot 4 } } \ right ) { \ frac { z ^ { – 5 } } { 5 } } + \ left ( { \ frac { 1 \ cdot 3 \ cdot 5 } { 2 \ cdot 4 \ cdot 6 } } \ right ) { \ frac { z ^ { – 7 } } { 7 } } + \ cdots \ \ và = và \ sum _ { n = 0 } ^ { \ infty } \ left ( { \ frac { ( 2 n ) ! } { 2 ^ { 2 n } ( n ! ) ^ { 2 } } } \ right ) { \ frac { z ^ { – ( 2 n + 1 ) } } { 2 n + 1 } } \ end { matrix } } \, \ quad \ left | z \ right | > 1 }{\begin{matrix}\operatorname{arccsc} z&=&\arcsin \left(z^{{-1}}\right)\\&=&z^{{-1}}+\left({\frac  {1}{2}}\right){\frac  {z^{{-3}}}{3}}+\left({\frac  {1\cdot 3}{2\cdot 4}}\right){\frac  {z^{{-5}}}{5}}+\left({\frac  {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac  {z^{{-7}}}{7}}+\cdots \\&=&\sum _{{n=0}}^{\infty }\left({\frac  {(2n)!}{2^{{2n}}(n!)^{2}}}\right){\frac  {z^{{-(2n+1)}}}{2n+1}}\end{matrix}}\,\quad \left|z\right|>1″ class=”mwe-math-fallback-image-inline” src=”https://wikimedia.org/api/rest_v1/media/math/render/svg/6992d9c7a090500ed3835f5763eff021f756c4da”/></span></dd>
</dl>
<dl>
<dd><span class=arcsec ⁡ z = arccos ⁡ ( z − 1 ) = π 2 − ( z − 1 + ( 1 2 ) z − 3 3 + ( 1 ⋅ 3 2 ⋅ 4 ) z − 5 5 + ( 1 ⋅ 3 ⋅ 5 2 ⋅ 4 ⋅ 6 ) z − 7 7 + ⋯ ) = π 2 − ∑ n = 0 ∞ ( ( 2 n ) ! 2 2 n ( n ! ) 2 ) z − ( 2 n + 1 ) ( 2 n + 1 ) | z | > 1 { \ displaystyle { \ begin { matrix } \ operatorname { arcsec } z và = và \ arccos \ left ( z ^ { – 1 } \ right ) \ \ và = và { \ frac { \ pi } { 2 } } – ( z ^ { – 1 } + \ left ( { \ frac { 1 } { 2 } } \ right ) { \ frac { z ^ { – 3 } } { 3 } } + \ left ( { \ frac { 1 \ cdot 3 } { 2 \ cdot 4 } } \ right ) { \ frac { z ^ { – 5 } } { 5 } } + \ left ( { \ frac { 1 \ cdot 3 \ cdot 5 } { 2 \ cdot 4 \ cdot 6 } } \ right ) { \ frac { z ^ { – 7 } } { 7 } } + \ cdots ) \ \ và = và { \ frac { \ pi } { 2 } } – \ sum _ { n = 0 } ^ { \ infty } \ left ( { \ frac { ( 2 n ) ! } { 2 ^ { 2 n } ( n ! ) ^ { 2 } } } \ right ) { \ frac { z ^ { – ( 2 n + 1 ) } } { ( 2 n + 1 ) } } \ end { matrix } } \, \ quad \ left | z \ right | > 1 }{\begin{matrix}\operatorname{arcsec} z&=&\arccos \left(z^{{-1}}\right)\\&=&{\frac  {\pi }{2}}-(z^{{-1}}+\left({\frac  {1}{2}}\right){\frac  {z^{{-3}}}{3}}+\left({\frac  {1\cdot 3}{2\cdot 4}}\right){\frac  {z^{{-5}}}{5}}+\left({\frac  {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}\right){\frac  {z^{{-7}}}{7}}+\cdots )\\&=&{\frac  {\pi }{2}}-\sum _{{n=0}}^{\infty }\left({\frac  {(2n)!}{2^{{2n}}(n!)^{2}}}\right){\frac  {z^{{-(2n+1)}}}{(2n+1)}}\end{matrix}}\,\quad \left|z\right|>1″ class=”mwe-math-fallback-image-inline” src=”https://wikimedia.org/api/rest_v1/media/math/render/svg/f58dc4328df794928bab36c1bc9dba830461d8a9″/></span></dd>
</dl>
<p>Chúng cũng hoàn toàn có thể được định nghĩa trải qua những biểu thức sau, dựa vào đặc thù chúng là đạo hàm của những hàm khác .</p>
<dl>
<dd><span class=arcsin ⁡ ( x ) = ∫ 0 x 1 1 − z 2 d z, | x | < 1 { \ displaystyle \ arcsin \ left ( x \ right ) = \ int _ { 0 } ^ { x } { \ frac { 1 } { \ sqrt { 1 - z ^ { 2 } } } } \, \ mathrm { d } z, \ quad | x | < 1 }\arcsin \left(x\right)=\int _{0}^{x}{\frac  1{{\sqrt  {1-z^{2}}}}}\,{\mathrm  {d}}z,\quad |x|<1
arccos ⁡ ( x ) = ∫ x 1 1 1 − z 2 d z, | x | < 1 { \ displaystyle \ arccos \ left ( x \ right ) = \ int _ { x } ^ { 1 } { \ frac { 1 } { \ sqrt { 1 - z ^ { 2 } } } } \, \ mathrm { d } z, \ quad | x | < 1 }\arccos \left(x\right)=\int _{x}^{1}{\frac  {1}{{\sqrt  {1-z^{2}}}}}\,{\mathrm  {d}}z,\quad |x|<1
arctan ⁡ ( x ) = ∫ 0 x 1 1 + z 2 d z, ∀ x ∈ R { \ displaystyle \ arctan \ left ( x \ right ) = \ int _ { 0 } ^ { x } { \ frac { 1 } { 1 + z ^ { 2 } } } \, \ mathrm { d } z, \ quad \ forall x \ in \ mathbb { R } }\arctan \left(x\right)=\int _{0}^{x}{\frac  1{1+z^{2}}}\,{\mathrm  {d}}z,\quad \forall x\in {\mathbb  {R}}
arccot ⁡ ( x ) = ∫ x ∞ 1 z 2 + 1 d z, z > 0 { \ displaystyle \ operatorname { arccot } \ left ( x \ right ) = \ int _ { x } ^ { \ infty } { \ frac { 1 } { z ^ { 2 } + 1 } } \, \ mathrm { d } z, \ quad z > 0 }\operatorname{arccot} \left(x\right)=\int _{x}^{\infty }{\frac  {1}{z^{2}+1}}\,{\mathrm  {d}}z,\quad z>0″ class=”mwe-math-fallback-image-inline” src=”https://wikimedia.org/api/rest_v1/media/math/render/svg/e8453509e3dd0422b985c08bd4d7fee9e7470df8″/></span></dd>
<dd><span class=arcsec ⁡ ( x ) = ∫ x 1 1 | z | z 2 − 1 d z, x > 1 { \ displaystyle \ operatorname { arcsec } \ left ( x \ right ) = \ int _ { x } ^ { 1 } { \ frac { 1 } { | z | { \ sqrt { z ^ { 2 } – 1 } } } } \, \ mathrm { d } z, \ quad x > 1 }\operatorname{arcsec} \left(x\right)=\int _{x}^{1}{\frac  1{|z|{\sqrt  {z^{2}-1}}}}\,{\mathrm  {d}}z,\quad x>1″ class=”mwe-math-fallback-image-inline” src=”https://wikimedia.org/api/rest_v1/media/math/render/svg/6a881f7e2957ded79d7f86e56abeeb4eb84262cb”/></span></dd>
<dd><span class=arccsc ⁡ ( x ) = ∫ x ∞ − 1 | z | z 2 − 1 d z, x > 1 { \ displaystyle \ operatorname { arccsc } \ left ( x \ right ) = \ int _ { x } ^ { \ infty } { \ frac { – 1 } { | z | { \ sqrt { z ^ { 2 } – 1 } } } } \, \ mathrm { d } z, \ quad x > 1 }\operatorname{arccsc} \left(x\right)=\int _{x}^{\infty }{\frac  {-1}{|z|{\sqrt  {z^{2}-1}}}}\,{\mathrm  {d}}z,\quad x>1″ class=”mwe-math-fallback-image-inline” src=”https://wikimedia.org/api/rest_v1/media/math/render/svg/a215a4c582a0871aeea8f7470162dd0300295841″/></span></dd>
</dl>
<p>Công thức trên được cho phép lan rộng ra hàm lượng giác ngược ra cho những biến phức :</p>
<dl>
<dd><span class=arcsin ⁡ ( z ) = − i log ⁡ ( i ( z + 1 − z 2 ) ) { \ displaystyle \ arcsin ( z ) = – i \ log \ left ( i \ left ( z + { \ sqrt { 1 – z ^ { 2 } } } \ right ) \ right ) }\arcsin(z)=-i\log \left(i\left(z+{\sqrt  {1-z^{2}}}\right)\right)
arccos ⁡ ( z ) = − i log ⁡ ( z + z 2 − 1 ) { \ displaystyle \ arccos ( z ) = – i \ log \ left ( z + { \ sqrt { z ^ { 2 } – 1 } } \ right ) }\arccos(z)=-i\log \left(z+{\sqrt  {z^{2}-1}}\right)
arctan ⁡ ( z ) = i 2 log ⁡ ( 1 − i z 1 + i z ) { \ displaystyle \ arctan ( z ) = { \ frac { i } { 2 } } \ log \ left ( { \ frac { 1 – iz } { 1 + iz } } \ right ) }\arctan(z)={\frac  {i}{2}}\log \left({\frac  {1-iz}{1+iz}}\right)

Một số đẳng thức[sửa|sửa mã nguồn]

sin ⁡ ( x + y ) = sin ⁡ x cos ⁡ y + cos ⁡ x sin ⁡ y { \ displaystyle \ sin \ left ( x + y \ right ) = \ sin x \ cos y + \ cos x \ sin y }\sin \left(x+y\right)=\sin x\cos y+\cos x\sin y
sin ⁡ ( x − y ) = sin ⁡ x cos ⁡ y − cos ⁡ x sin ⁡ y { \ displaystyle \ sin \ left ( x-y \ right ) = \ sin x \ cos y – \ cos x \ sin y }\sin \left(x-y\right)=\sin x\cos y-\cos x\sin y
cos ⁡ ( x + y ) = cos ⁡ x cos ⁡ y − sin ⁡ x sin ⁡ y { \ displaystyle \ cos \ left ( x + y \ right ) = \ cos x \ cos y – \ sin x \ sin y }\cos \left(x+y\right)=\cos x\cos y-\sin x\sin y
cos ⁡ ( x − y ) = cos ⁡ x cos ⁡ y + sin ⁡ x sin ⁡ y { \ displaystyle \ cos \ left ( x-y \ right ) = \ cos x \ cos y + \ sin x \ sin y }\cos \left(x-y\right)=\cos x\cos y+\sin x\sin y
sin ⁡ x + sin ⁡ y = 2 sin ⁡ ( x + y 2 ) cos ⁡ ( x − y 2 ) { \ displaystyle \ sin x + \ sin y = 2 \ sin \ left ( { \ frac { x + y } { 2 } } \ right ) \ cos \ left ( { \ frac { x-y } { 2 } } \ right ) }\sin x+\sin y=2\sin \left({\frac  {x+y}{2}}\right)\cos \left({\frac  {x-y}{2}}\right)
sin ⁡ x − sin ⁡ y = 2 cos ⁡ ( x + y 2 ) sin ⁡ ( x − y 2 ) { \ displaystyle \ sin x – \ sin y = 2 \ cos \ left ( { \ frac { x + y } { 2 } } \ right ) \ sin \ left ( { \ frac { x-y } { 2 } } \ right ) }\sin x-\sin y=2\cos \left({\frac  {x+y}{2}}\right)\sin \left({\frac  {x-y}{2}}\right)
cos ⁡ x + cos ⁡ y = 2 cos ⁡ ( x + y 2 ) cos ⁡ ( x − y 2 ) { \ displaystyle \ cos x + \ cos y = 2 \ cos \ left ( { \ frac { x + y } { 2 } } \ right ) \ cos \ left ( { \ frac { x-y } { 2 } } \ right ) }\cos x+\cos y=2\cos \left({\frac  {x+y}{2}}\right)\cos \left({\frac  {x-y}{2}}\right)
cos ⁡ x − cos ⁡ y = − 2 sin ⁡ ( x + y 2 ) sin ⁡ ( x − y 2 ) { \ displaystyle \ cos x – \ cos y = – 2 \ sin \ left ( { \ frac { x + y } { 2 } } \ right ) \ sin \ left ( { \ frac { x-y } { 2 } } \ right ) }\cos x-\cos y=-2\sin \left({\frac  {x+y}{2}}\right)\sin \left({\frac  {x-y}{2}}\right)
tan ⁡ x + tan ⁡ y = sin ⁡ ( x + y ) cos ⁡ x cos ⁡ y { \ displaystyle \ tan x + \ tan y = { \ frac { \ sin \ left ( x + y \ right ) } { \ cos x \ cos y } } }\tan x+\tan y={\frac  {\sin \left(x+y\right)}{\cos x\cos y}}
tan ⁡ x − tan ⁡ y = sin ⁡ ( x − y ) cos ⁡ x cos ⁡ y { \ displaystyle \ tan x – \ tan y = { \ frac { \ sin \ left ( x-y \ right ) } { \ cos x \ cos y } } }\tan x-\tan y={\frac  {\sin \left(x-y\right)}{\cos x\cos y}}
cot ⁡ x + cot ⁡ y = sin ⁡ ( x + y ) sin ⁡ x sin ⁡ y { \ displaystyle \ cot x + \ cot y = { \ frac { \ sin \ left ( x + y \ right ) } { \ sin x \ sin y } } }\cot x+\cot y={\frac  {\sin \left(x+y\right)}{\sin x\sin y}}
cot ⁡ x − cot ⁡ y = − sin ⁡ ( x − y ) sin ⁡ x sin ⁡ y { \ displaystyle \ cot x – \ cot y = { \ frac { – \ sin \ left ( x-y \ right ) } { \ sin x \ sin y } } }\cot x-\cot y={\frac  {-\sin \left(x-y\right)}{\sin x\sin y}}

Tính chất và ứng dụng[sửa|sửa mã nguồn]

Các hàm lượng giác có vị trí quan trọng trong lượng giác học. Bên ngoài lượng giác học, tính tuần hoàn của chúng có ích cho việc mô phỏng những hoạt động sóng như sóng điện từ hay âm thanh. Mọi tín hiệu đều hoàn toàn có thể được nghiên cứu và phân tích thành tổng ( vô hạn ) của những hàm sin và cos ứng với nhiều tần số ; đây là sáng tạo độc đáo chủ yếu của nghiên cứu và phân tích Fourier, dùng để xử lý những bài toán điều kiện kèm theo biên và phương trình đạo hàm riêng .Các đặc thù quan trọng nhất của những hàm lượng giác trong lượng giác học được bộc lộ ở ba định lý :

Định lý sin[sửa|sửa mã nguồn]

Định lý sin phát biểu cho bất kỳ một tam giác nào:

a sin ⁡ A = b sin ⁡ B = c sin ⁡ C = 2 R { \ displaystyle { \ frac { a } { \ sin A } } = { \ frac { b } { \ sin B } } = { \ frac { c } { \ sin C } } = 2R }{\frac  {a}{\sin A}}={\frac  {b}{\sin B}}={\frac  {c}{\sin C}}=2R

Có thể chứng minh định lý này bằng cách chia đôi tam giác thành hai tam giác vuông, rồi dùng định nghĩa của hàm sin. (sinA)/a là nghịch đảo của đường kính đường tròn đi qua ba điểm A, BC. Định lý sin có thể dùng để tính độ dài của một cạnh khi đã biết độ dài hai cạnh còn lại của tam giác. Đây là bài toán hay gặp trong kỹ thuật tam giác, một kỹ thuật dùng để đo khoảng cách dựa vào việc đo các góc và các khoảng cách dễ đo khác.

Định lý cosin[sửa|sửa mã nguồn]

Định lý cos là một kết quả mở rộng của định lý Pytago:

c 2 = a 2 + b 2 − 2 a b cos ⁡ C { \ displaystyle c ^ { 2 } = a ^ { 2 } + b ^ { 2 } – 2 ab \ cos C \, }c^{2}=a^{2}+b^{2}-2ab\cos C\,

Định lý này cũng hoàn toàn có thể được chứng tỏ bằng việc chia tam giác thành hai tam giác vuông. Định lý này hoàn toàn có thể được dùng để tìm những tài liệu chưa biết về một tam giác nếu đã biết độ lớn hai cạnh và một góc .Nếu góc trong biểu thức không được quy ước rõ ràng, ví dụ nhỏ hơn 90 °, thì sẽ có hai tam giác thỏa mãn nhu cầu định lý cos, ứng với hai góc C nằm trong khoảng chừng từ 0 đến 180 °C ùng cho một giá trị cos C

Định lý tang[sửa|sửa mã nguồn]

Định lý tang phát biểu là:

a + b a − b = tan ⁡ [ 1 2 ( A + B ) ] tan ⁡ [ 1 2 ( A − B ) ] { \ displaystyle { \ frac { a + b } { a-b } } = { \ frac { \ tan { \ big [ } { \ cfrac { 1 } { 2 } } ( A + B ) { \ big ] } } { \ tan { \ big [ } { \ cfrac { 1 } { 2 } } ( A-B ) { \ big ] } } } }{\frac  {a+b}{a-b}}={\frac  {\tan {\big [}{\cfrac  {1}{2}}(A+B){\big ]}}{\tan {\big [}{\cfrac  {1}{2}}(A-B){\big ]}}}

( bằng tiếng Anh )

Liên kết ngoài[sửa|sửa mã nguồn]

( bằng tiếng Anh )

ĐÁNH GIÁ post
Bài viết liên quan

Tư vấn miễn phí (24/7) 094 179 2255