1. 삼각 함수
2. 삼각 함수의 합차 공식
5. 시컨트 수와 오일러 수

1. 기본(basics)
(1.1a)
(1.1b)
(1.2a)
(1.2b)
(1.3)
(1.4)
(1.5)
(1.6a)
(1.6b)
(1.7)
[기본 항등식]
(1.8)
(1.9)
[증명]
탄젠트와 코탄젠트 함수를 통분해서 정리하면 식 (1.8)이 증명된다.
______________________________
(1.10)
(1.11)
(1.12)
[역함수]
(1.13)
(1.14)
[증명]
식 (1.6b)에 = , = 를 넣으면 = 이 된다. 이때 = 가 되어서 식 (1.14)가 증명된다.
______________________________
(1.15)
2. 급수 표현식(series representation)
(2.1)
(2.2)
(2.3a)
(2.3b)
(2.4)
(2.5)
(2.6)
(2.7)
(2.8)
(2.9)
3. 미분(differentiation)
(3.1)
(3.2a)
(3.2b)
(3.3)
(3.4)
(3.5)
(3.6)
______________________________
(3.7)
(3.8)
4. 부정적분(indefinite integral)
(4.1)
(4.2)
(4.3)
(4.4)
(4.5)
(4.6)
(4.7)
(4.8a)
(4.8b)
(4.9)
(4.10)
(4.11)
(4.12)
(4.13)
식 (4.13)의 실수부와 허수부는 각각 식 (4.12)의 둘째식과 첫째식이 된다.
(4.14)
(4.15a)
(4.15b)
(4.16)
5. 정적분(definite integral)
(5.1)
(5.2)
(5.3)
(5.5)
(4.6)
6. 이상 적분(improper integral)
(6.1)
(6.2)
(7.1)
(7.2)
여기서 이다.
(7.3)
식 (7.2)의 둘째식도 식 (7.3)처럼 증명한다.
(7.4)
(7.5)
(7.6)
(7.7)
여기서 라서 두 거듭제곱의 차이는 보다 작거나 같다.

[그림 1] 단위 원에 출현하는 여러 가지 삼각 함수(출처: wikipedia.org)
1. 기본(basics)
기하학과 2차원 좌표계를 이용하면 사인과 코사인 함수(sine and cosine functions)의 관계를 아래와 같이 얻을 수 있다.
[기본 관계식]










[증명]
삼각 함수의 합차 공식(angle sum and difference identity)에 변수 치환을 적용하면 삼각 함수의 다양한 공식을 증명할 수 있다. 식 (1.6a)에 를 대입한 후 정리해서 식 (1.7)을 유도한다.
______________________________
______________________________
[기본 항등식]


탄젠트와 코탄젠트 함수를 통분해서 정리하면 식 (1.8)이 증명된다.
______________________________


[증명]
식 (10)의 좌변을 정리한 후, 식 (1.6a)를 적용해서 식 (1.10)으로 간략화한다.
식 (10)의 좌변을 정리한 후, 식 (1.6a)를 적용해서 식 (1.10)으로 간략화한다.

식 (1.11)의 증명을 위해, 좌변을 통분해 = 로 정리한다.
______________________________
[역함수]


식 (1.6b)에
______________________________
[복소 지수 함수의 합과 차]

[기수 함수(cardinal function)]
기수 함수는 가 변할 때, 세는 수인 기수(基數, cardinal number)를 선택한다. 싱크 함수는 = 을 제외한 모든 기수를 영점(zero) 관점에서 선택한다. 탱크 함수(tanc function)는 기수 함수가 아니지만, 싱크 함수와 닮아서 함수명을 탱크(tanc: tangent cardinal)로 부른다.
2. 급수 표현식(series representation)
[기본 함수]


[역함수]


여기서 = , 이다.
[증명]
식 (3.7)을 적분하고 피적분 함수는 뉴턴의 이항 정리(Newton's binomial theorem)로 전개해서 증명한다.

______________________________
탄젠트 역함수에 대한 무한 급수인 식 (2.3)은 그레고리의 급수(Gregory's series)라고 부른다. 그레고리의 급수는 수학자 그레고리James Gregory(1638–1675)가 1668년그레고리 30세, 조선 현종 시절에 발견했다. 이외에도 그레고리는 1663년에 발명한 최초의 반사 망원경인 그레고리 망원경(Gregorian telescope)으로도 유명하다. 식 (2.3)에 = 을 대입하면, 식 (2.3)의 우변은 에 수렴한다.
[베르누이 수]



[증명]
쌍곡 코탄젠트(hyperbolic cotangent) 함수의 테일러 급수를 이용해 식 (2.5)를 증명한다. 식 (1.7)을 바꾸면 = 이다. 이 결과에 식 (2.5)를 넣어서 정리하면 식 (2.6)을 얻는다. 다음으로 식 (1.8)에서 = 을 만들어서 식 (2.5)와 (2.6)을 대입하면, 식 (2.7)이 유도된다.
______________________________
[표 2.1] 홀수번 탄젠트 수의 실제값,
탄젠트 수, | 탄젠트 수의 자연수값 |
---|---|
1 | |
2 | |
16 | |
272 | |
7936 | |
353792 | |
22368256 | |
1903757312 | |
![]() | |
생성 함수 | ![]() |
[탄젠트 수의 정의]
자주 쓰는 탄젠트 함수는 탄젠트 수(tangent number)를 정의해서 식 (2.6)에 유도한 무한 급수의 항을 간략화하기도 한다. 간단하게 보면, 탄젠트 함수를 직접 미분해서 테일러 급수를 얻고 다시 항별 비교를 통해 탄젠트 수를 계산할 수 있다. 하지만 의 고계 미분을 몇 번 하면 지쳐서 더 이상 진행하기 어렵다. 이때는 수학의 도움을 받아야 한다. 베르누이 수라는 좋은 도구가 있으므로, 베르누이 수를 바탕으로 탄젠트 함수에 있는 탄젠트 수를 만들어낸다. 탄젠트 수의 실제값은 [표 2.1]에 자세히 소개한다[1].

여기서 = 이다. 탄젠트 수의 정의식은 다음과 같다.

여기서 짝수번 베르누이 수의 부호는 이다. 식 (2.9)에 의해 탄젠트 수는 항상 이거나 양수이며, 절대 음수가 될 수 없다. 즉, 탄젠트 수는 자연수열(自然數列, sequence of natural numbers)의 일종이다. 이에 반해 베르누이 수 은 부호가 바뀌는 정수열(整數列, integer sequence)이 된다.
[탄젠트 수의 성질]
(a) 탄젠트 수는 자연수열(自然數列, sequence of natural numbers)이다.
(b) 짝수번 탄젠트 수 은 항상 이다.
(c) 홀수번 탄젠트 수는 이고, 이 커지면 도 함께 커진다.
(d) 모든 에 대해, 이 성립한다.
3. 미분(differentiation)
[기본 함수]



[증명]
미분 공식을 활용하여 식 (3.2a)를 증명한다.

식 (3.2b)도 식 (3.3)과 거의 동일한 과정으로 유도된다.
______________________________
[역함수]

[증명]
역함수에 대한 미분 공식을 이용하여 증명한다.



[증명]
역함수의 미분 공식과 함께 식 (3.2)와 (1.9)를 사용한다.

______________________________
4. 부정적분(indefinite integral)
[역함수]

여기서 , 는 적분 상수이다.
[증명]
식 (3.4)에 있는 역함수의 미분을 사용해도 되지만, 다음처럼 변수 치환을 이용해도 쉽게 증명할 수 있다.

여기서 사인 역함수의 주치를 고려해 이다.
______________________________

[증명]
변수 치환과 식 (1.9), (3.2)를 이용해서 증명한다.

______________________________
[삼각 함수 곱]

[삼각 함수의 역수(multiplicative inverse or reciprocal)]

[증명]
식 (1.8)을 이용해서 를 탄젠트와 코탄젠트 함수로 바꾼 후에 그대로 적분한다.

______________________________


여기서 이다.
[증명]
분모와 분자에 를 곱한 후에 기본적인 적분 절차대로 진행하여 식 (4.8a)를 유도한다.

그 다음에 식 (4.8b)는 변수를 = 로 치환해서 분모를 식 (4.8a)처럼 바꾸면 손쉽게 증명된다.
______________________________

[증명]
어려워 보이지만 변수 치환만 제대로 하면 쉽게 결과가 나온다.

여기서 = , = 이다.
______________________________
식 (10)과 비슷한 식 (4.8a)를 쓸 수도 있지만, = 이 되면 식 (4.8a)는 복소수 연산을 도입해야 한다.
[지수 함수와 삼각 함수의 곱]

[증명]
지수 함수가 피적분 함수로 있는 경우는 오일러의 공식(Euler's formula)으로 쉽게 증명한다.

______________________________
식 (4.12)의 두 식을 더해서 매운 간단한 적분 공식을 추가적으로 얻는다.

물론 식 (4.14)의 우변을 미분하거나 좌변의 첫째 항[= = ]에 부분 적분을 사용해서 결과를 유도할 수도 있다.
[푸리에 급수(Fourier series)]


여기서 정수 은 이다.
[증명]
등비 급수의 합 공식을 써서 식 (4.15a)의 분자를 변형한다.

식 (4.15b)의 증명에는 식 (4.15a)를 이용한다. 분모를 사인 함수로 바꾸고 = 로 치환해서 마지막식을 정리한다.
______________________________
식 (4.15)에서 인 경우는 식 (4.15)의 결과에 켤레 복소수를 적용한다. 만약 = 이라면 식 (4.15)에서 유한 급수만 제거하면 된다.
5. 정적분(definite integral)
[삼각 함수 곱]


[거듭제곱]

[증명]
식 (5.3)은 베타 함수(beta function)의 적분 표현식으로 유도한다.
______________________________
[증명]
식 (5.4)에서 = 로 변수 치환해서 적분한다.
______________________________
[삼각 함수의 역수(multiplicative inverse or reciprocal)]

여기서 , 이다.
[증명]
식 (5.5)의 부정적분 결과인 식 (4.8a)에는 = 에서 불연속인 탄젠트 함수가 있어서 적분 구간을 분리해서 계산한다.

______________________________
식 (5.5)는 특이하게도 르장드르 함수(Legendre function)를 정의하기 위해 사용한다.
6. 이상 적분(improper integral)
[로렌츠–코쉬 함수(Lorentz–Cauchy function)]
여기서 이다.
[증명]
식 (6.2)의 적분 구간을 바꾸어서 식 (6.1)을 얻는다.
______________________________
7. 부등식(inequality)
[조르당의 부등식(Jordan's inequality): 사인 함수와 각도]

여기서 이다.
[증명]
함수 = 를 새롭게 정의한다. 이 함수는 구간의 양끝에서 = = 을 만족한다. 함수의 미분은 = 이다. 따라서 는 ↗↘과 같은 모양이다. 비슷하게 = 라 놓고 미분하면 = 이다. 따라서 는 = 부터 항상 증가하는 음이 아닌 함수이다. 그래서 식 (7.1)이 항상 성립한다.
______________________________
[삼각 함수 제곱의 최대와 최소]

[증명]
삼각 함수를 다음처럼 변형해서 식 (7.2)의 첫째식을 유도한다.

______________________________
식 (7.2)에 의해 삼각 함수 제곱의 최대와 최소는 두 삼각 함수의 위상이 0˚ 혹은 90˚를 기준으로 동일하게 벌어질 때 생긴다.
[코사인 함수와 2배각]

[증명]
코사인 함수를 제곱한 후, 다음처럼 정리해서 증명한다.

______________________________
[거듭제곱]
여기서 이다.
[증명]
적분 구간을 분리해서 가 보다 크거나 같도록 바꾼다.
______________________________
[참고문헌]
[1] N. J. A. Sloane, "A000182: tangent (or "zag") numbers," The On-Line Encyclopedia of Integer Sequences. (방문일 2022-06-11)
(2.4)에서 x<1 이 아니라 ㅣx l <1 이지 않나요?
답글삭제지적 정말 감사합니다. 틀렸었네요.
삭제식(4.2)에서, 루트(1-sin^2(t)) 에서 루트를 벗기면 cos(t)가 아니라 절댓값 cos(t) 아닌가요?
답글삭제보통 는 양으로 간주하고, 사인 역함수의 주치를 고려해 식 (4.2)를 계산합니다.
삭제해당 부분에 설명을 추가했어요.
대단하십니다.
답글삭제