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)에 $\cot x$ = $a$, $\cot y$ = $1/a$를 넣으면 $\cot (x + y)$ = $0$이 된다. 이때 $x + y$ = $\pi/2$가 되어서 식 (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)
5. 정적분(definite integral)
(5.1)
(5.2)
(5.3)
(5.5)
(4.6)
6. 이상 적분(improper integral)
(6.1)
(6.2)
(7.1)
(7.2)
여기서 $-\pi/2 \le \phi_0 \le \pi/2$이다.
(7.3)
식 (7.2)의 둘째식도 식 (7.3)처럼 증명한다.
(7.4)
(7.5)
(7.6)
(7.7)
여기서 $\pi - x \ge x$이라서 두 거듭제곱의 차이는 $0$보다 작거나 같다.
1. 기본(basics)
기하학과 2차원 좌표계를 이용하면 사인과 코사인 함수(sine and cosine functions)의 관계를 아래와 같이 얻을 수 있다.
[기본 관계식]










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


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


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

식 (1.11)의 증명을 위해, 좌변을 통분해 $(1-\cos^2)/\cos x$ = $\sin^2 x / \cos x$로 정리한다.
______________________________
[역함수]


식 (1.6b)에 $\cot x$ = $a$, $\cot y$ = $1/a$를 넣으면 $\cot (x + y)$ = $0$이 된다. 이때 $x + y$ = $\pi/2$가 되어서 식 (1.14)가 증명된다.
______________________________
[복소 지수 함수의 합과 차]

2. 급수 표현식(series representation)
[기본 함수]


[역함수]


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

여기서 이항 정리의 수렴 조건으로 인해 $t^2 < 1$ 혹은 $|x| < 1$이다. 또한 $x$ = $\pm 1$에서 식 (2.4)의 마지막식은 감소하는 교대 급수(alternating series)라서 수렴한다.
______________________________
탄젠트 역함수에 대한 무한 급수인 식 (2.3)은 그레고리의 급수(Gregory's series)라고 부른다. 그레고리의 급수는 수학자 그레고리James Gregory(1638–1675)가 1668년그레고리 30세, 조선 현종 시절에 발견했다. 식 (2.3)에 $x$ = $1$을 대입하면, 식 (2.3)의 우변은 $\pi/4$에 수렴한다.
[베르누이 수]



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

여기서 $T_{2m}$ = $0$이다. 탄젠트 수의 정의식은 다음과 같다.

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



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

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

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



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

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

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

여기서 사인 역함수의 주치를 고려해 $-\pi/2 \le t \le \pi/2$이다.
______________________________

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

______________________________
[삼각 함수 곱]

[삼각 함수의 역수]

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

______________________________


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

그 다음에 식 (4.8b)는 변수를 $x$ = $t + \pi/2$로 치환해서 분모를 식 (4.8a)처럼 바꾸면 손쉽게 증명된다.
______________________________
5. 정적분(definite integral)
[삼각 함수 곱]

여기서 $a_m$ = $m \pi \mathbin{/} (2a)$, $\delta_{}ml$은 크로네커 델타(Kronecker delta), $\varepsilon_m$ = $2 - \delta_{m0}$은 노이만 수(Neumann number)이다.

[거듭제곱]

[증명]
식 (5.3)은 베타 함수(beta function)의 적분 표현식으로 유도한다.
______________________________
베타 함수 $B(x, y)$는 감마 함수(gamma function) $\Gamma(x)$의 곱과 나누기로 표현되는 특수 함수이다.
[증명]
식 (5.4)에서 $u$ = $\log(x/a) \mathbin{/} \log(b/a)$로 변수 치환해서 적분한다.
______________________________
[삼각 함수의 역수]

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

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

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

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

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

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

______________________________
[거듭제곱]
[증명]
적분 구간을 분리해서 $\cos x$가 $0$보다 크거나 같도록 바꾼다.
______________________________
[참고문헌]
[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) 아닌가요?
답글삭제보통 $\sqrt{x}$는 양으로 간주하고, 사인 역함수의 주치를 고려해 식 (4.2)를 계산합니다.
삭제해당 부분에 설명을 추가했어요.