쌍곡함수를 직관적으로 이해하기 (삼각법 너머의 관점)

계산기에서 sinh, cosh, tanh라는 버튼을 처음 보면 사인, 코사인, 탄젠트의 다른 버전처럼 보입니다. 누군가 삼각법에 h를 하나 붙이고 외워야 할 공식 세 개를 더 만든 듯한 이름입니다.

그런 그림은 순서가 뒤집혀 있습니다. 쌍곡함수는 각이 아니라 지수에서 시작합니다. 가장 단순한 두 지수적 움직임, $e^{x}$를 통한 성장과 $e^{-x}$를 통한 감소를 가져와 완벽하게 균형 잡힌 쌍으로 더하거나 뺍니다. 삼각법과의 닮은 점은 나중에 나타납니다. 그 쌍들이 원이 아니라 쌍곡선 위의 좌표라는 사실이 드러나기 때문입니다.

두 지수함수가 반대 방향으로 당기는 모습이 보이면 정의는 더 이상 임의적으로 보이지 않습니다. 핵심 항등식은 한 곡선의 방정식이 되고, 도함수는 거의 필연적으로 느껴지며, 미적분 교과서마다 등장하는 늘어진 케이블이 왜 cosh를 쓰는지도 마침내 이해됩니다.

쌍곡선은 원의 친척이다

삼각법에는 중심이 되는 그림이 하나 있습니다. 단위원 위를 걸어 다니는 점입니다. 매개변수 t에서 그 좌표는

$$(\cos t, \sin t)$$

입니다. 이 좌표는

$$\cos^{2} t + \sin^{2} t = 1$$

을 만족합니다. 모든 점이 원 $x^{2} + y^{2} = 1$ 위에 있기 때문입니다. 코사인은 가로 좌표, 사인은 세로 좌표를 주며, 피타고라스 항등식은 원의 방정식을 그 함수들의 이름으로 적은 것일 뿐입니다.

쌍곡함수는 같은 좌표 아이디어를 다른 곡선에 적용합니다. 매개방정식의 언어로 보면 순서쌍

$$(\cosh t, \sinh t)$$

는 단위쌍곡선의 오른쪽 가지

$$x^{2} - y^{2} = 1$$

위에 있으므로 그 좌표는

$$\cosh^{2} t - \sinh^{2} t = 1$$

을 만족합니다. 달라진 부호가 새 곡선의 성격입니다. 원은 $x^{2} + y^{2}$를 일정하게 유지하고, 쌍곡선은 $x^{2} - y^{2}$를 일정하게 유지합니다. 플러스에서 마이너스로 바뀐 이 한 가지 차이가 많은 쌍곡함수 항등식이 삼각함수 항등식의 부호 하나를 뒤집은 모습인 이유입니다.

여기에는 정확히 구분해야 할 미묘한 점이 있습니다. y = cosh x의 그래프는 U자 모양 함수입니다. 단위쌍곡선 $x^{2} - y^{2} = 1$ 자체가 아닙니다. 쌍곡선은 cosh와 sinh가 좌표로 함께 작동할 때, 즉 x = cosh t와 y = sinh t로 놓을 때 나타납니다. 코사인과 사인이 협력해 원을 그리듯, 한 함수가 가로 좌표를 주고 다른 함수가 세로 좌표를 줍니다.

매개변수 t를 쌍곡각이라고 부르기도 하지만, 원을 도는 회전으로 재는 일반적인 각은 아닙니다. 단위쌍곡선에서 t는 (1, 0)부터 움직이는 점까지 쓸고 간 쌍곡부채꼴의 부호 있는 넓이의 두 배입니다. 대부분의 계산에서는 t를 점을 쌍곡선을 따라 움직이는 공통 매개변수로 보면 충분합니다. t = 0일 때 점은 (1, 0)에 있습니다. 양의 t는 점을 오른쪽 가지 위로 움직이고, 음의 t는 아래로 움직입니다.

sinh와 cosh는 성장과 감소의 균형을 맞춘다

기하학은 이름을 설명하고, 정의는 함수가 실제로 어떻게 작동하는지 설명합니다.

$$\sinh x = \frac{e^{x} - e^{-x}}{2}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}$$

둘 다 같은 지수함수 쌍에서 시작합니다. 하나는 x가 증가할수록 커지고, 다른 하나는 작아집니다. cosh는 둘을 더하므로 대칭적인 합을 측정합니다. sinh는 둘을 빼므로 어느 지수항이 우세한지를 보여 줍니다.

x = 0에서는 두 지수함수가 모두 1입니다. 합은 2이고 차는 0이므로

$$\cosh 0 = 1, \quad \sinh 0 = 0$$

입니다. 이것이 쌍곡선 오른쪽 가지의 꼭짓점 (1, 0)을 만듭니다.

이제 x를 -x로 바꾸세요. 두 지수항은 자리를 맞바꿉니다. 합은 변하지 않으므로 cosh(-x) = cosh x입니다. cosh는 짝함수이고 그래프는 y축에 대해 대칭입니다. 차는 부호가 바뀌므로 sinh(-x) = -sinh x입니다. sinh는 홀함수이고 그래프는 원점에 대해 점대칭입니다.

작은 정확한 예를 보면 작동 방식이 드러납니다. x = ln 2라고 합시다. 그러면 $e^{x} = 2$이고 이고 e^(-x) = 1/2이므로

$$\cosh(\ln 2) = \frac{2 + \frac{1}{2}}{2} = \frac{5}{4}$$ $$\sinh(\ln 2) = \frac{2 - \frac{1}{2}}{2} = \frac{3}{4}$$

점은 (5/4, 3/4)입니다. 쌍곡선에 대입해 확인하면

$$(5/4)^{2} - (3/4)^{2} = 25/16 - 9/16 = 1$$

입니다. 이 항등식은 정의 뒤에 덧붙인 우연이 아닙니다. 균형 잡힌 합과 차가 자동으로 만들어 냅니다.

큰 양의 x에서는 $e^{-x}$가 아주 작아지므로 sinh x와 cosh x는 모두 $e^{x}$의 절반에 가까워집니다. 큰 음의 x에서는 cosh가 양수로 남고 sinh는 음수가 됩니다. 그래서 두 그래프는 서로 닮았지만 같지는 않습니다. cosh는 두 양의 지수함수를 합한 U자 모양이고, sinh는 그 사이의 부호 있는 차를 기록합니다.

마이너스 부호의 항등식

가장 중요한 쌍곡함수 공식은

$$\cosh^{2} x - \sinh^{2} x = 1$$

입니다. 쌍곡선의 방정식으로 기억할 수도 있지만, 대수 한 줄로 유도할 수도 있습니다. A = $e^{x}$, B = $e^{-x}$라고 합시다. 그러면 AB = 1이고

$$\cosh x = \frac{A + B}{2}, \quad \sinh x = \frac{A - B}{2}$$

입니다. 두 제곱을 빼면

$$\left(\frac{A + B}{2}\right)^{2} - \left(\frac{A - B}{2}\right)^{2} = AB = 1$$

입니다. 제곱의 차 패턴이 모든 일을 합니다. 뺄셈에서 $A^{2}$과 $B^{2}$ 항은 사라지고 교차항이 합쳐져 AB = $e^{x}$와 $e^{-x}$의 곱, 즉 1이 남습니다.

이 항등식에서 나머지 식들도 얻을 수 있습니다. $\cosh^{2} x$로 나누면

$$1 - \tanh^{2} x = \operatorname{sech}^{2} x$$

를 얻습니다. 여기서 tanh x = sinh x / cosh x이고 sech x = 1 / cosh x입니다. sinh x가 0이 아닌 곳에서는 대신 $\sinh^{2} x$로 나누면 coth와 csch에 대응하는 항등식을 얻습니다. 이름이 복잡해 보여도 구조는 삼각함수와 같습니다. 탄젠트는 비율이고, 시컨트와 코시컨트는 역수이며, 중심 곡선의 방정식이 항등식들을 만듭니다.

가장 안전한 기억법은 "쌍곡 삼각함수에는 이상한 부호가 있다"고 외우는 것이 아닙니다. 곡선을 떠올리는 것입니다. 원은 플러스, 쌍곡선은 마이너스입니다. 어떤 방정식 위에 있는지 그릴 수 있다면 부호는 더 이상 찍어서 고르는 문제가 아닙니다.

tanh가 측정하는 것

쌍곡탄젠트는 비율

$$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{e^{x} + e^{-x}}$$

입니다. 이 비율은 성장과 감소의 차를 그 합과 비교합니다. x = 0에서는 두 지수항이 균형을 이루므로 tanh 0 = 0입니다. x가 커지면 $e^{x}$가 분자와 분모를 모두 지배하므로 비율은 1에 가까워집니다. x가 매우 큰 음의 값이 되면 $e^{-x}$가 지배하고 비율은 -1에 가까워집니다.

따라서 tanh는 -1과 1 사이에 갇힌 S자 모양 함수입니다. 0 근처에서는 거의 x처럼 움직이고, 한 지수함수가 다른 하나를 압도하면서 점차 평평해집니다. 일반 탄젠트와 달리 반복되는 가지도 수직점근선도 없습니다. 같은 이름을 쓰는 이유는 사인과 비슷한 좌표를 코사인과 비슷한 좌표로 나눈 비율이기 때문이지, 그래프가 같기 때문이 아닙니다.

이 유계 형태는 제한 없는 입력에서 매끄럽고 제한된 출력을 만들어야 할 때 유용합니다. 하지만 순수 수학 수업의 요점은 더 단순합니다. tanh는 부호 있는 불균형 sinh를 양의 합 cosh로 정규화한 결과입니다.

나머지 함수도 같은 방식으로 정리됩니다.

• $\operatorname{sech} x = \frac{1}{\cosh x}$
• $\operatorname{csch} x = \frac{1}{\sinh x}$
• $\coth x = \frac{\cosh x}{\sinh x}$

실수 x에 대해 cosh는 결코 0이 되지 않으므로 sech는 모든 곳에서 정의됩니다. sinh는 x = 0에서 0이므로 csch와 coth는 그 점에서 정의되지 않습니다. 정의에서 직접 읽으면 따로 외워야 할 사실이 아닙니다.

미적분학이 쌍곡함수를 좋아하는 이유

지수함수 정의 덕분에 도함수는 유난히 간단합니다. 먼저 sinh를 미분합니다.

$$\frac{d}{dx} \sinh x = \frac{d}{dx} \left[\frac{e^{x} - e^{-x}}{2}\right] = \frac{e^{x} + e^{-x}}{2} = \cosh x$$

두 번째 항이 마이너스에서 플러스로 바뀌는 이유는 $e^{-x}$를 미분할 때 마이너스 부호가 하나 더 생기기 때문입니다. cosh를 미분하면 부호는 반대 방향으로 바뀝니다.

$$\frac{d}{dx} \cosh x = \sinh x$$

일반 코사인은 미분하면 마이너스 부호를 얻습니다. 쌍곡코사인은 그렇지 않습니다. 이 차이에서 유용한 대조가 생깁니다.

• sin x와 cos x는 y'' = -y를 만족하며 진동을 만든다
• sinh x와 cosh x는 y'' = y를 만족하며 지수적 성장과 감소를 만든다

그래서 도함수 사이의 관계를 설명하는 미분방정식에 쌍곡함수가 자연스럽게 등장합니다. y'' = y의 일반해는 A $e^{x}$ + B $e^{-x}$로 쓸 수 있지만, C cosh x + D sinh x로도 쓸 수 있습니다. 두 형태는 같은 정보를 담습니다. cosh와 sinh는 대칭 조합과 반대칭 조합을 초기 조건에 더 잘 맞는 형태로 묶어 줄 뿐입니다.

예를 들어 y(0) = 1, y'(0) = 0인 해는 cosh x입니다. 높이 1에서 수평 접선으로 시작합니다. y(0) = 0, y'(0) = 1인 해는 sinh x입니다. 원점에서 기울기 1로 시작합니다. 이런 초기 조건은 그래프에서 바로 보입니다.

tanh의 도함수도 똑같이 간결합니다.

$$\frac{d}{dx} \tanh x = \operatorname{sech}^{2} x$$

$\operatorname{sech}^{2} x$가 양수이므로 tanh는 항상 증가합니다. 원점에서 멀어질수록 sech가 0에 가까워지므로 tanh의 기울기도 0에 가까워집니다. 이것이 그래프 양끝이 평평해지는 이유입니다.

쌍곡함수는 적분과 치환에도 나타납니다. 역함수는 sqrt($x^{2}$ + 1)이나 sqrt($x^{2}$ - 1) 같은 제곱근을 포함하는 원시함수를 표현할 수 있습니다. 함수를 이해하는 데 이 공식들이 꼭 필요하지는 않지만, 이 연결을 알면 미적분 수업이 지수함수와 삼각치환 직후 쌍곡함수를 소개하는 이유를 이해할 수 있습니다.

매달린 케이블에 cosh가 나타나는 이유

가장 눈에 보이는 응용은 매달린 케이블입니다. 두 점에 매달리고 자체 무게 외에는 다른 하중을 받지 않는 균일하고 유연한 케이블은 현수선 모양으로 자리 잡습니다. 가장 낮은 점을 y축 위에 두면 방정식은 다음과 같은 형태입니다.

$$y = a \cosh(x / a) + C$$

상수 C는 세로 위치를 정합니다. C가 0이 되도록 좌표 원점을 선택하면 익숙한 y = a cosh(x / a)가 됩니다. 상수 a는 곡선이 얼마나 얕거나 깊은지를 결정합니다. a가 크면 케이블이 더 평평하고, 작으면 더 깊게 처집니다. 가장 낮은 부분 근처에서는 포물선과 비슷해 보여서 매달린 사슬이 포물선이라고 생각하기 쉽습니다. 그러나 자체 무게 아래의 정확한 평형 곡선은 cosh로 표현됩니다.

이 공식은 장식 같은 우연이 아닙니다. 케이블 장력의 수평 성분은 일정하게 유지되고, 변하는 수직 성분이 누적된 무게와 균형을 이룹니다. 이 힘의 균형에서 미분방정식이 나오고 그 해에 cosh가 나타납니다. $e^{x}$와 $e^{-x}$의 균형에서 나온 같은 함수가 물리적 힘이 곡선을 따라 균형을 이룰 때 다시 나타납니다.

오류는 어디에서 생기는가

쌍곡함수에서 생기는 오류는 대개 잘못된 유추에서 나옵니다. 삼각법과 충분히 닮아서 추측을 부르지만, 모든 삼각함수 성질이 그대로 남을 만큼 같지는 않습니다.

첫 번째 오류는 sinh x를 sin(hx)로 읽는 것입니다. h가 각에 곱해지는 변수라고 보는 셈입니다. 이름은 "쌍곡사인"이라고 읽고 하나의 함수로 다뤄야 합니다. h는 표식이지 입력이 아닙니다.

두 번째는 원의 항등식을 플러스 부호로 그대로 복사하는 것입니다. 올바른 공식은 $\cosh^{2} x$ - $\sinh^{2} x$ = 1입니다. $x^{2} - y^{2} = 1$을 떠올리면 부호가 저절로 정해집니다.

세 번째는 일반 코사인의 도함수가 마이너스 사인이므로 cosh의 도함수를 -sinh라고 쓰는 것입니다. 지수함수로 돌아가세요. cosh는 두 지수함수의 합이고 그 도함수는 차이므로 $\frac{d}{dx} \cosh x = \sinh x$입니다.

네 번째는 역함수와 역수를 혼동하는 것입니다. 교과서에 따라 sinh의 역함수는 asinh, arcsinh, sinh⁻¹로 표기됩니다. 역수는 csch이며 sinh⁻¹가 아닙니다. 마찬가지로 cosh의 역함수는 acosh 또는 arcosh이고 역수는 sech입니다.

역함수의 정의역도 중요합니다. sinh는 모든 실숫값을 내므로 asinh는 모든 실수를 입력으로 받습니다. cosh는 최솟값이 1이고 0의 양쪽에서 같은 값을 반복합니다. 실수 범위에서 역함수를 정의하려면 원래 cosh를 x가 0 이상인 가지로 제한해야 하며, acosh는 1 이상의 입력만 받습니다. tanh는 -1과 1 사이의 값만 내므로 atanh도 그 구간의 입력만 받습니다.

마지막으로 y = cosh x가 "쌍곡선이다"라고 말하면 안 됩니다. 그 그래프는 현수선 모양의 U자 곡선입니다. 쌍곡선을 그리는 것은 순서쌍 (cosh t, sinh t)입니다. 함수 그래프와 매개화된 곡선을 구분하면 놀랄 만큼 흔한 개념적 혼동을 피할 수 있습니다.

Math Zen은 어떻게 들어맞는가

쌍곡함수는 지수, 항등식, 도함수가 만나는 지점에 있습니다. 지수함수 정의가 단단하면 이 주제의 대부분을 외우지 않고 다시 만들어 낼 수 있습니다. 그렇지 않으면 sinh, cosh, tanh, sech, csch, coth는 서로 관련 없는 여섯 장의 규칙표가 붙은 새 버튼 여섯 개가 됩니다.

Math Zen의 쌍곡함수 연습은 이 의존 관계를 따릅니다. sinh와 cosh의 값을 구하며 정의에 익숙해집니다. 항등식 문제는 쌍곡선의 마이너스 부호를 강화합니다. 미분 문제는 sinh와 cosh가 깔끔하게 바뀌는 모습을 보여 주고, 뒤의 문제는 역쌍곡함수를 다루는 숙련도를 기릅니다. 목표는 표를 한 번 암송하는 것이 아닙니다. 어떤 그림이 그 표를 필연적으로 만들어 주는지 알아보는 것입니다.

유용한 연습 순서는 짧고 섞여 있습니다. 정확한 값 하나를 구하고, 항등식 하나를 확인하고, 함수 하나를 미분한 다음 올바른 역함수나 역수를 고르세요. 수학 연습을 위한 간격 반복처럼 간격을 둔 뒤 그 문제 묶음으로 돌아오세요. 일반 삼각함수와 반복해서 대조하는 과정이 부호와 이름을 기억에 남깁니다.

핵심 정리

쌍곡함수는 균형 잡힌 지수함수입니다. cosh는 성장과 감소를 더하고, sinh는 둘을 빼며, tanh는 그 차를 합과 비교합니다. cosh와 sinh를 좌표로 함께 사용하면 $x^{2} - y^{2} = 1$을 그립니다. 그래서 대응하는 많은 항등식이 원의 플러스 부호를 쌍곡선의 마이너스 부호로 바꾼 삼각함수 항등식처럼 보입니다.

쌍곡선의 그림과 지수함수 정의를 함께 보면 핵심 항등식, 그래프, 도함수가 설명됩니다. 또한 미분방정식 y'' = y부터 매달린 케이블의 현수선까지, 성장과 감소가 결합되는 곳에 이 함수들이 나타나는 이유도 알 수 있습니다. h는 새로운 공식의 벽을 만드는 글자가 아닙니다. 그 이면의 다른 곡선과 다른 종류의 움직임을 가리킵니다.