2009 I 2 II III 14, 15, α β α β l 0 l l l l γ (1) γ = αβ (2) α β n n cos 2k n n π sin 2k n π k=1 k=1 3. a 0, a 1,..., a n α a

理 II・III 14, 15, 16 組

4月 30 日 清野和彦

問題 1. 0 でない相異なる二つの複素数 α と β に対し、複素平面上で α と β を

通る直線を l、0 を通り l に直交する直線を l

′

、l と l

′

の交点を γ とする。次の二

つは同値であることを証明せよ。

(1) γ = αβ

である。

(2) α

と β がどちらも中心

1

2

、半径

1

2

の円周上にある。

問題 2. n を自然数とする。

n

∑

k=1

cos

2k

n

π

と

n

∑

k=1

sin

2k

n

π

を計算せよ。

問題 3. a0

, a

1

, . . . , a

n

を実数とする。複素数 α が方程式

a

0

+ a

1

x + a

2

x

2

+

· · · + a

n

x

n

= 0

の解ならば、共役複素数 ¯

α

も同じ方程式の解であることを示せ。

問題 4. 有界閉区間 [a, b] を定義域とする連続関数 f で、

「値域に属する任意の y に対し f (x) = y を満たす x がちょうど 2 個ある」

という性質を持つものは存在しないことを示せ。

問題 5. 次の値を計算せよ。

(1) Arcsin

1

2

(2) Arcsin(

−1)

(3) Arccos

√

3

2

(4) Arccos

(

−

√

1

2

)

(5) Arctan

√

1

3

(6) Arctan

(

−

√

3

)

問題 6. n を整数とする。

(1) tan x

の定義域を (nπ

− π/2, nπ + π/2) に制限したものを f

n(x)

と書くことに

する。fn

(x)

の逆関数 f

_n−1

(x)

を Arctan x を用いて表せ。

(2) sin x

の定義域を [nπ

− π/2, nπ + π/2] に制限したものを g

n

(x)、cos x の定義

域を [nπ, (n + 1)π] に制限したものを hn

(x)

と書くことにする。gn

(x)

の逆関数

g

−1_n

(x)

と hn

(x)

の逆関数 h

−1n

(x)

を Arcsin x を用いて表せ。

(1) cos (Arcsin x)

(2) tan (Arcsin x)

(

−1 < x < 1)

(3) sin (Arctan x)

(4) sin (2 Arctan x)

問題 8. 関数の間の等式

Arctan

(

tan

2

x

)

=

π

4

− Arctan(cos 2x)

を、

(1)

微分を使わずに証明せよ。

(2)

微分を使って証明せよ。

問題 9. 次の等式を示せ。

(1) cosh

2

x

− sinh

2

x = 1

(2) 1

− tanh

2

x =

1

cosh

2

x

(3) sinh(x + y) = sinh x cosh y + cosh x sinh y

(4) cosh(x + y) = cosh x cosh y + sinh x sinh y

(5) tanh(x + y) =

tanh x + tanh y

1 + tanh x tanh y

問題 10.

(1)

双曲線関数 cosh x, sinh x, tanh x の逆関数を求めよ。ただし、cosh x の定義

域は x

≤ 0 に狭めた場合と x ≥ 0 に狭めた場合の両方を考えよ。（これは講義で

も求めていますが、復習のために出題しまし。）

(2) (1)

で求めた逆関数を直接微分した結果と双曲線関数に逆関数の微分法を適用

した結果が一致することを確認せよ。

問題 11. 次の関数の導関数を計算せよ。

(1)

√

tanh x

(2) (tan x)

x

(3) Arcsin(cos x)

(4) Arctan

√

1

− x

1 + x

（各関数の定義域は式が意味を持ち、しかも微分可能な範囲に限定しているものと

理 II・III 14, 15, 16 組

4月 30 日 清野和彦

問題

1

の解答

三つの複素数 0, 1, α に β を掛けると、それぞれ 0, β, αβ に写ります。しかも、β を掛けるこ とは、複素平面上では長さを|β| 倍し原点のまわりに β の偏角分だけ回転させる操作になります。 よって、0, 1, α を頂点とする三角形と、0, β, αβ を頂点とする三角形は相似です。同様に、0, 1, β を頂点とする三角形と、0, α, αβ を頂点とする三角形も相似です。（図 1 参照。）   実 虚 0 1 α β αβ γ 図 1: △ 01α と △ 0β(αβ) が相似で、△ 01β と △ 0α(αβ) が相似になる。   さて、γ = αβ という条件は、0, β, αβ を頂点とする三角形と 0, α, αβ を頂点とする三角形が 両方とも頂点 αβ を直角とする直角三角形であることと同値です。このことは、前段落で示した相 似により、0, 1, α を頂点とする三角形が頂点 α を直角とする直角三角形であり, かつ 0, 1, β を頂 点とする三角形が頂点 β を直角とする直角三角形であることと同値になります。さらに、このこ とは、α と β がともに [0, 1] を直径とする円の周上にあることと同値です。（なぜなら、直角三角 形であることと、斜辺を直径とする円に内接することは同値だからです。）この円は中心 1/2、半 径 1/2 ですので、これで証明できました。 □

コメント

ポイントは、複素数 α を極形式で α = r(cos θ + i sin θ) と表したとき、α を掛けるという操作 が、複素平面上では 長さを r 倍し、原点を中心に反時計回りに θ 回転する

という操作になることです。 なお、この問題は 2000 年度の東大の入試問題から取りました。

問題

2

の解答

複素数の極形式による表示（とオイラーの記号）を利用して両方いっぺんに計算しましょう。オ イラーの記号とは e2knπi= cos2k nπ + i sin 2k n π のことでした。これを使うと、 n ∑ k=1 cos2k n π + i n ∑ k=1 sin2k nπ = n ∑ k=1 ( cos2k nπ + i sin 2k nπ ) = n ∑ k=1 e2knπi となります。一方、cos と sin の加法定理により、 e2knπi₌ ( en2πi )k が成り立ちます。よって、ζ = e2πi/n _{とおくと、} n ∑ k=1 e2knπi₌ n ∑ k=1 ζk= ζ + ζ2+· · · + ζn= ζ1− ζ n 1− ζ となります。ところが、 ζn = ( en2πi )n = e2nnπi= e2πi= 1 より、 ζ1− ζ n 1− ζ = ζ 1− 1 1− ζ = 0 です。これは「求める和は複素数 0 の実部と虚部である」ということを意味しますので、どちらも 0です。つまり、 n ∑ k=1 cos2k nπ = n ∑ k=1 sin2k nπ = 0 となります。 □

コメント

複素平面上で考えると、e2kπi/n_{= cos(2kπ/n) + i sin(2kπ/n)という複素数は実軸とのなす角が}

2kπ/nで長さが 1 のベクトルです。それを k = 1 から k = n までベクトルとして足すわけですか ら、ひとつ足すごとに一辺の長さが 1 の正 n 角形を描きながら最後のベクトルの終点は最初のベ クトルに戻ってきます（図 2）。 すなわちこの和は 0 ベクトル（複素数として 0）になる、という わけです。

指数法則 eiθ_eiφ_{= e}i(θ+φ)_{が「sin と cos の加法定理から導かれる」ことを確認しておきましょう。}

ei(θ+φ)= cos(θ + φ) + i sin(θ + φ) = cos θ cos φ− sin θ sin φ + i sin θ cos φ + i cos θ sin φ = (cos θ + i sin θ)(cos φ + i sin φ) = eiθeiφ

  O 虚 実 e2πi/5 e4πi/5 e6πi/5 e8πi/5 e10πi/5= 1 図 2: ベクトルと見ると、複素数 cos(2kπ/n) + i sin(2kπ/n) は複素平面上の正 n 角形の各辺 である。  

問題

3

の解答

αが解であるということは a0+ a1α + a2α2+· · · + anαn= 0 が成り立っているということです。この等式で両辺の複素共役をとりましょう。右辺は 0 の複素共 役なので 0 のままです。一方、左辺は a0+ a1α + a2α2+· · · + anαn= a0+ a1α + a2α2+· · · + anαn = a0+ a1α + a¯ 2α¯2+· · · + anα¯n = a0+ a1α + a¯ 2α¯2+· · · + anα¯n となります。すなわち a0+ a1α + a¯ 2α¯2+· · · + anα¯n= 0 が成り立っています。これは ¯αも解であることを意味します。 □

コメント

もちろん、このことは係数が全て実数だからこそ成り立つことです。係数に（実数でない）複素 数を含む方程式については成り立ちません。例えば、 x2− 3x + 3 + i = 0 の解は 1 + i と 2− i であって、それらの共役複素数はどちらも解ではありません。

問題

4

の解答

背理法で示しましょう。

定義域が有界閉区間である連続関数なので、最大値 M と最小値 m があり、値域は [m, M ] と いう有界閉区間になります。 [m, M ]に属する任意の y に対して f (x) = y となる x がちょうど 2 個あると仮定しているので、 f (x) = m となる x も f (x) = M となる x もちょうど 2 個ずつあります。そこで、 f (a1) = f (a2) = m, (a1< a2) f (b1) = f (b2) = M, (b1< b2) としましょう。 CASE 1 : a1< a2< b1< b2 の場合 f (a2) = m, f (b1) = M ですので、中間値の定理により、[m, M ] に属する任意の y に対して f (x) = y となる x が [a2, b1]に少なくとも一つ存在します。a1< c < a2を満たす c を任意に取っ たとき、もし f (c) = m なら f (x) = m となる x が三つ以上存在することになり仮定に反するの で、f (c) > m です。よって、m < y0< f (c)を満たす y0 が取れます。この y0 に対し、中間値の 定理により、a1< c1< c で f (c1) = y0 となる c1と c < c2< a2 で f (c2) = y0となる c2 が存在 します。ということは、[a2, b1]内に存在するものと合わせて f (x) = y0 となる x が三つ以上存在 することになってしまい、結局矛盾です（図 3）。   a1 a2 b1 b2 y0 m M 図 3: CASE 1 の場合の y = f (x) のグラフの例。   CASE 2 : a1< b1< a2< b2 の場合 中間値の定理により、m < y0< M を満たす任意の y0に対し、f (x) = y0 となる x が (a1, b1)、 (b1, a2)、(a2, b2)にそれぞれ少なくとも一つ存在するので、全体で少なくとも三つ存在することに なり矛盾です。 CASE 3 : b1< a1< a2< b2 の場合 a1< c < a2 を満たす c を一つ取ります。すると、中間値の定理により、f (x) = f (c) を満たす xが [b1, a1]と [a2, b2]にそれぞれ少なくとも一つずつ存在します。よって、f (x) = f (c) を満たす xが少なくとも三つ存在することになり矛盾です。

CASE 4 : a1< b1< b2< a2 の場合 CASE 3で m と M の役割が入れ替わった場合ですので、やはり矛盾です。 CASE 5 : b1< a1< b2< a2 の場合 CASE 2で m と M の役割が入れ替わった場合ですので、やはり矛盾です。 CASE 6 : b1< b2< a1< a2 の場合 CASE 1で m と M の役割が入れ替わった場合ですので、やはり矛盾です。 以上で、あり得るすべての場合で矛盾が導けたので、元々の仮定が間違っていることが導けま した。 □

コメント

時間がなくて CASE 1 以外のグラフの例を描くことができませんでした。是非自分で書きなが ら読んでください。また、図で明らかだからといって上のような証明をしなくてよいというわけ ではありません。図は一例に過ぎず、実際の連続関数は思いも寄らないほど複雑なものがあり得ま す。だから、図を参考に証明を作るのはよいですが、その証明があらゆる場合に適用できること、 つまり、問題の仮定以外何も使っていないことを確認する必要があります。そのために、このよう な明らかっぽい命題でも上のような面倒な証明の手続きは欠かせません。 なお、もっと簡潔に証明する方法もあるのですが、それを述べるためには最大値の原理や中間値 の定理の根拠でもある「実数の連続性」（第 1 回解答プリントの最後に少し触れたものです）をあ らわに使わなければならないので、ここでは省略します。

問題

5

の解答

(1) π 6, (2) − π 2, (3) π 6, (4) 3 4π, (5) π 6, (6) − π 3 となります。 □

コメント

例えば (1) では、「Arcsin1 2 とは sin θ = 1 2 かつ− π 2 ≤ θ ≤ π 2 を満たす θ のこと なので Arcsin1 2 = π 6 だ。」と考えます。つまり、逆関数の定義に戻って考えているわけです。(2) 以降もすべて同様です。

問題

6

の解答

(1) 任意の実数 y0 を一つ固定すると、tan x = y0 となるすべての x は tan x0= y0 となる x0 を ひとつ選ぶことにより x = x0+ mπ mは整数 と表せます。Arctan y0 とは tan x = y0を満たす x のうち−π/2 < x < π/2 を満たすもののこと ですので、tan x = y0 を満たすすべての x は Arctan y0 を使って x = Arctan y0+ mπ m は整数 と表せます。一方、fn(x)の定義域は (nπ− π/2, nπ + π/2) ですので、 nπ−π 2 < f −1 n (y0) < nπ + π 2 という不等式が成り立っています。よって、 f_n−1(y0) = xn = x0+ nπ = Arctan y0+ nπ となります。y0は任意の実数でしたから、この等式は関数として成り立っています。以上より、求 める表示は fn−1(x) = Arctan x + nπ です。 □ (2) −1 ≤ y0≤ 1 を満たす y0 を任意にひとつ選びます。すると、sin x = y0を満たすすべての x は、sin x0= y0, −π/2 ≤ x0≤ π/2 を満たす x0によって、 x = mπ + (−1)mx0 mは整数 と表せます。また、cos x = sin (x + π/2) が成り立っているので、 cos x = y0⇐⇒ sin ( x +π 2 ) = y0 です。よって cos x′= y0 を満たすすべての x′ は、上と同じ x0を使って x′ = mπ + (−1)mx0− π 2 = 2m− 1 2 π + (−1) m x0 m は整数 と表せます。ここで、sin x = y0 を満たす x のうち−π/2 ≤ x ≤ π/2 を満たすものが Arcsin y0 で あることを思い出しましょう。よって、上の x と x′ はそれぞれ x = mπ + (−1)mArcsin y0, x′= 2m− 1 2 + (−1) m_{Arcsin y} 0 mは整数 というように Arcsin y0を使って表せます。一方、 nπ−π 2 ≤ g −1 n (y0)≤ nπ + π 2, nπ≤ h −1 n (y0)≤ (n + 1)π nは整数 ですので、gn−1(y0)は上の x のうち m = n のもの、h−1n (y0)は上の x′ のうち m = n + 1 のもの です。つまり、 g−1_n (y0) = nπ + (−1)nArcsin y0, h−1n (y0) = 2n + 1 2 π + (−1) n+1_{Arcsin y} 0 となります。以上と y0 が [−1, 1] 内の任意実数だったことから、関数として g−1_n (x) = (−1)nArcsin x + nπ, h−1_n (x) = (−1)n+1Arcsin x +2n + 1 2 π と表示できることが分かりました。 □

コメント

これも「定義に戻って」考えるだけの問題です。 なお、h−1₀ (x) = Arccos xですので、 Arccos x =− Arcsin x +π 2 が得られていることに注意してください。 また、逆関数のグラフは元の関数のグラフを y = x を軸に 180 度回転したものですので、この 問題の結果はグラフで考えるとすぐ納得できると思います（図 4）。   O y x π f₋₂−1 f₋₂−1 Arctan x = f₀−1 f₁−1 f₂−2 O y x Arcsin x = g₀−1 g−1₋₁ g₋₂−1 g−1₁ g−1₂ O y x h−1₁ h−1₀ = Arccos x h−1₋₁ h−1₋₂ 図 4: fn−1, g−1n , h−1n のグラフ。  

問題

7

の解答

(1) sin(Arcsin x) = xですので、cos θ を sin θ で表せれば三角関数と逆三角関数を消すことがで

きます。cos θ は−π/2 ≤ θ ≤ π/2 の範囲で 0 以上なので、 cos θ = √ 1− sin2θ −π 2 ≤ θ ≤ π 2

であり、−π/2 ≤ Arcsin x ≤ π2 なので、この θ に Arcsin x を代入することができます。すると、 cos (Arcsin x) = √ 1− sin2(Arcsin x) =√1− x2 となります。 □ (2) (1)と同様に、 tan θ = sin θ cos θ= sin θ √ 1− sin2θ − π 2 ≤ θ ≤ π 2 と変形してから θ = Arcsin x を代入して計算しましょう。

tan (Arcsin x) =√ sin (Arcsin x) 1− sin2(Arcsin x)

= √ x 1− x2

となります。 □

(3) 今度は tan (Arctan x) = x を使うために sin θ を tan θ で表しましょう。−π/2 ≤ θ ≤ π/2 の 範囲では cos θ≥ 0 であることから cos θ =√cos2_θ です。一方、 1 cos2_θ = sin2θ + cos2_θ cos2_θ = tan 2_{θ + 1} という関係があります。よって、

sin θ = tan θ cos θ = √ tan θ tan2_{θ + 1}

となります。これに θ = Arctan x を代入して、

sin (Arctan x) = √ tan (Arctan x) tan2(Arctan x) + 1= x √ x2_{+ 1} となります。 □ (4) 倍角の公式により

sin (2 Arctan x) = 2 sin (Arctan x) cos (Arctan x)

となります。sin (Arctan x) の方は (3) で三角関数と逆三角関数を使わない表示を得てありますの で、cos (Arctan x) の同じような表示を得られればよいことになります。(3) で利用した式 cos θ = √ 1 1 + tan2θ − π 2 < θ < π 2 に θ = Arctan x を代入することにより、 cos (Arctan x) = √ 1 x2_{+ 1} と分かります。これらを合わせて、 sin (2 Arctan x) = 2√ x x2_{+ 1} 1 √ 1 + x2 = 2x x2_{+ 1} が得られます。 □

コメント

申し訳ないのですが、時間がなくてここに図を書くことができませんでした。是非三角形の図を 書いて上の問題を図形で確認してください。

問題

8

の解答

(1)

tan θの θ のところに左辺を代入すると、tan (Arctan y) = y であることから、 tan(Arctan(tan2x))= tan2x

となります。

一方、右辺を代入すると、加法定理

tan(θ + φ) = tan θ + tan φ 1− (tan θ)(tan φ) と tan(−θ) = − tan θ から、 tan (_π 4 − Arctan (cos 2x) ) = tan π

4 − tan (Arctan (cos 2x))

1 +(tanπ

4

)

(tan (Arctan (cos 2x))) = 1− cos 2x 1 + cos 2x = 2 sin2x 2 cos2_x= tan 2_x となります。 両辺を tan に入れた値が一致したので、両辺の値の違いは π の整数倍です。すなわち、 Arctan(tan2x) = π 4 − Arctan (cos 2x) + nπ となる n が存在します。n を決めるために x = 0 を代入してみると、 0 = π 4 − Arctan 1 + nπ となります。Arctan 1 = π/4 ですので、結局 n = 0 となり、問題の等式が得られました。 □

(2)

問題を Arctan(tan2x) + Arctan(cos 2x) = π 4 を示す問題と読み替えましょう。 左辺の関数が定数関数であることは導関数が恒等的に 0 であることと同値なので、微分して 0 に なることを確認しましょう。 (Arctan x)′ = 1 1 + x2

ですので、合成関数の微分法により、 ( Arctan(tan2x))′= 1 1 + (tan2_x)2 ( tan2x)′= 1 1 + tan4_x 2 tan x cos2_x = cos 4_x cos4_{x + sin}4_x 2 sin x cos3_x = 2 sin x cos x cos4_{x + sin}4_x および、 (Arctan(cos 2x))′ = 1 1 + cos2_2x(cos 2x) ′ ₌ 1

sin22x + 2 cos2_2x(−2 sin 2x)

=− 4 sin x cos x

4 sin2x cos2_{x + 2(cos}2_x− sin2_x)2

=− 4 sin x cos x

4 sin2x cos2_{x + 2 cos}4_x− 4 cos2_{x sin}2_{x + 2 sin}4_x

=− 2 sin x cos x cos4_{x + sin}4_x

となります。よって、 (

Arctan(tan2x) + Arctan(cos 2x))′=(Arctan(tan2x))′+ (Arctan(cos 2x))′= 0 ですから、Arctan(tan2x) + Arctan(cos 2x)は定数関数です。

関数の値を決めるために、例えば x = 0 を入れてみましょう。すると、 Arctan(tan20) + Arctan(cos(2· 0))= Arctan 0 + Arctan 1 = 0 +π

4 = π 4 となります。これで示せました。 □

コメント

問題 7 のような「三角関数に逆三角関数を入れたもの」に比べて、この問題のような「逆三角関 数に三角関数を入れたもの」が扱いにくいのは何故か、図を書いて考えてみるとよいと思います。

問題

9

の解答

(1) cosh x と sinh x の定義を代入し計算するだけです。 cosh2x− sinh2x = ( ex+ e−x 2 )2 − ( ex− e−x 2 )2 = e 2x_{+ 2 + e−2x} 4 − e2x− 2 + e−2x 4 = 4 4 = 1 となります。 （もちろん、微分を利用することも可能です。 (

cosh2x− sinh2x)′= 2 cosh x sinh x− 2 sinh x cosh x = 0 なので、定数関数であり、x = 0 を代入すると、

となりますので、示せました。） □ (2) tanh xの定義式を代入して (1) で示した式を使います。 1− tanh2x = 1−sinh 2 x cosh2x= cosh2x− sinh2x cosh2x = 1 cosh2x となります。 （(1) のように微分を使ってもできます。） □ (3)右辺を変形していって左辺にしましょう。 sinh x cosh y + cosh x sinh y

=e x_{− e}−x 2 ey_{+ e}−y 2 + ex_{+ e}−x 2 ey_{− e}−y 2 =e x_ey_{+ e}x_e−y_{− e}−x_ey_{− e}−x_e−y 4 + ex_ey_{− e}x_e−y_{+ e}−x_et_{+ e}−x_e−y 4 =e x_ey_{− e}−x_e−y 2 = ex+y_{− e}−(x+y) 2 = sinh(x + y) となります。 （微分でもできます。） □ (4) (3)と同様です。

cosh x cosh y + sinh x sinh y =e x_{+ e−x} 2 ey+ e−y 2 + ex− e−x 2 ey− e−y 2 =e x_ey_{+ e}x_e−y_{+ e}−x_ey_{+ e}−x_e−y 4 + ex_ey_{− e}x_e−y_{− e}−x_ey_{+ e}−x_e−y 4 =e x_ey_{+ e−xe−y} 2 = e(x+y)+ e−(x+y) 2 = cosh(x + y) となります。 （微分でもできます。） □ (5)右辺の分子と分母をそれぞれ計算してみましょう。分子は上の (3) を使って tanh x + tanh y = sinh x

cosh x + sinh y cosh y

=sinh x cosh y + sinh y cosh x cosh x cosh y =

sinh(x + y) cosh x cosh y となります。一方、分母は (4) を使って

1 + tanh x tanh y = 1 + sinh x cosh x

sinh y cosh y

=cosh x cosh y + sinh x sinh y cosh x cosh y =

cosh(x + y) cosh x cosh y となります。よって、

tanh x + tanh y

です。 （微分でもできますが、その場合は分母を払った式を示した方がよいでしょう。） □

コメント

講義でも学びましたが、全く初めて出会う新しい関数ですのでここにも定義とグラフの概形を記 しておくことにします。 定義は cosh x := e x_{+ e}−x 2 , sinh x := ex_{− e}−x 2 , tanh x := sinh x cosh x = ex_{− e}−x ex_{+ e}−x でした。cosh を双曲余弦関数またはハイパボリックコサイン、sinh を双曲正弦関数またはハイパ ボリックサイン、tanh を双曲正接関数またはハイパボリックタンジェントと呼びます。   O y x ex e−x cosh x −e−x sinh x sinh x tanh x tanh x 図 5: 双曲三角関数のグラフ   指数関数の和でできている関数なので、本当は完全に新しい関数というわけでもないはずなので すが、なぜか、双曲線と関係がありそうな上に三角関数とも関係が深そうな名前が付いています。 もちろんそれには理由があります。三角関数が円を自然にパラメタ付けする関数であるように、双 曲線関数は双曲線を自然にパラメタ付けする関数であることです。 三角関数の満たす公式 cos2θ + sin2θ = 1 から座標 (cos θ, sin θ) を持つ点が単位円 x2+ y2= 1に乗っていることがわかるように、双曲線関 数の満たす上の (1) の公式 cosh2t− sinh2t = 1

から座標 (cosh t, sinh t) を持つ点は双曲線

x2− y2= 1

に乗っていることがわかります。さらに、sinh t はR 全体から R 全体への単調増加な関数であり、 cosh t は常に正なので、(cosh t, sinh t) は双曲線 x2− y2= 1 の x > 0 の方の全体のパラメタ付け になっているわけです。 更に、問題 9 の (2) から (5) までの公式は、三角関数の満たす公式によく似ています。 これでだいぶ三角関数との類似が自然に感じられるようになったと思いますが、一つ大きな違 いがあります。三角関数の θ は原点 (0, 0) と点 (cos θ, sin θ) を結ぶ直線が x 軸となす角だったの に、双曲線関数の t はそのような角度ではないということです。なぜなら t は実数全体を動くの に、(0, 0) と (cosh t, sinh t) を結ぶ直線と x 軸とのなす角は、双曲線 x2_{− y}2_{= 1の漸近線と x 軸} とのなす角±π/4 の間に入ってしまうからです。 実は、(cosh t, sinh t) の t は 原点と (cos t, sinh t) を結ぶ直線と双曲線 x2_{− y}2_{= 1 の x > 0 の部分と x 軸の三つ} で囲まれた部分の面積の 2 倍 なのです。（x 軸の下側の面積は負と考えます。）   O y x x2_{− y}2_{= 1} cosh t sinh t 面積 t 2 O y x tラジアン cos t sin t x2_{+ y}2_{= 1} 1 1   一方、普通の三角関数においても、角 θ は 原点と (cos θ, sin θ) を結ぶ直線と単位円 x2+ y2= 1と x 軸の三つで囲まれた部分の 面積の 2 倍 になっています。このように、普通の三角関数と双曲線関数はパラメタの取り方も同じだと解釈で きるのです。 注意. 皆さんの中には「非ユークリッド幾何学」とか「ロバチェフスキー平面」という言葉を聞いたことがあ る人もいるかも知れません。ロバチェフスキー平面における幾何学は非ユークリッド幾何学の一種で、ユー クリッド幾何学における平行線の公理 与えられた直線と一点に対して、その点を通ってその直線に平行な直線がただ一本だけある を 与えられた直線と一点に対して、その点を通ってその直線に平行な直線が少なくとも二本ある に置き換えたものになっています。双曲線関数は、ロバチェフスキー平面における「三角法」において普通の 三角関数と組になって出てくる関数なのです。たとえば、三角形ABC において辺BC, CA, AB の長さをそ れぞれa, b, cとしたとき、普通のユークリッド平面での正弦定理 sin A a = sin B b = sin C c

は、ロバチェフスキー平面においては sin A sinh a = sin B sinh b= sin C sinh c となるなどという対応があります。 また、特殊相対性理論における速度の合成則がtanh tの加法定理(5)と同じ形をしていることも、双曲線 関数が「非ユークリッド幾何学における三角関数である」ということと大いに関係があります。 以上は三角関数と双曲線関数の幾何学的な対応でしたが、三角関数を「オイラーの記号」によって表すと、 三角関数も双曲線関数の定義式のように表せることがわかります。 cos t = e it + e−it 2 , sin t = eit− e−it 2i となるからです。これは双曲線関数の定義式 cosh t =e t_{+ e}−t 2 , sinh t = et_{− e}−t 2 の「虚数バージョン」という感じの式です。実際には三角関数こそ「実世界」の関数なわけですから、双曲線 関数とは「虚世界」の三角関数なのかも知れません。もちろん、現時点では「オイラーの記号」は便利だか ら使っているだけの無意味な記号に過ぎないので、このような見た目の関係はナンセンスに見えるかも知れ ません。それについて追求するのはテイラー展開を学ぶまでお待ち下さい。★

問題

10

の解答

(1) y = cosh xを x について解いてみましょう。 y = cosh x = e x_{+ e−x} 2 = (ex₎2 + 1 2ex なので、 (ex)2− 2exy + 1 = 0 となり、 ex= y±√y2− 1 となります。対数をとって、 x = log ( y±√y2− 1 ) です。 複合によって x の値がどう変わるかを見るために、y±√y2_{− 1 と 1 の大小関係を調べましょ}

う。y は cosh x の値域に入っているので、y ≥ 1 です。よって、 y +√y2_{− 1 ≥ 1} です。一方、y− 1 ≥ 0 であることから、y − 1 と√y2− 1 の大小関係を調べるには自乗して比較 すればよく、 (y− 1)2− (y2− 1) = −2y + 2 ≤ 0 ですので、 y−√y2_{− 1 ≤ 1}

です。 以上より、 x = log ( y +√y2− 1 ) ≥ 0, x = log ( y−√y2− 1 ) ≤ 0 となります。独立変数を x で表すために y を x と書き直すと、 cosh x (x≥ 0) の逆関数は cosh−1x = log ( x +√x2− 1) であり、定義域は [1,∞)、値域は [0, ∞) および、 cosh x (x≤ 0) の逆関数は cosh−1x = log ( x−√x2_{− 1}) であり、定義域は [1,∞)、値域は (−∞, 0] となります。 次に、y = sinh x を上と同様に解きましょう。 y = sinh x = e x_{− e}−x 2 = (ex₎2_{− 1} 2ex なので、 (ex)2− 2yex− 1 = 0 となり、 ex= y±√y2_{+ 1} です。しかし、ex_{≥ 0 なのに y −}√_y2_{+ 1}≤ 0 なので複合は + しかあり得ず、対数をとって x = log ( y +√y2_{+ 1}) となります。独立変数を x で表したいなら、 sinh xの逆関数は sinh−1x = log ( x +√x2_{+ 1}) であり、定義域も値域も実数全体 となります。 最後に、y = tanh x を x について解きましょう。 y = tanh x = e x_{− e}−x ex_{+ e−x} = (ex₎2_{− 1} (ex₎2_{+ 1}

なので、 (1− y) (ex)2= 1 + y となり、ex_{≥ 0 であることを考慮して、} ex= √ 1 + y 1− y となります。（tanh x の値域は (−1, 1) なので、根号の中は常に正です。）対数をとって、 x = log √ 1 + y 1− y = 1 2log 1 + y 1− y となります。独立変数を x と書き直して、 tanh xの逆関数は tanh−1x = 1 2log 1 + x 1− x であり、定義域は (−1, 1)、値域は実数全体 となります。 (2) (1)で求めた cosh x (x≥ 0) の逆関数 cosh−1xを微分すると、 ( cosh−1x)′ = ( log ( x +√x2_{− 1}))′₌ ( x +√x2− 1)′ x +√x2_{− 1} = 1 +√ x x2₋₁ x +√x2_{− 1} = √ x2_{− 1 + x} x +√x2_{− 1} 1 √ x2_{− 1} = 1 √ x2_{− 1} となります。一方、逆関数の微分法により、y = cosh−1xの微分は ( cosh−1x)′= 1 cosh′y = 1 sinh y となります。ここで問題 9(1) の関係式 cosh2y− sinh2y = 1 と y≥ 0 のとき sinh y ≥ 0 であることから、 sinh y = √ cosh2y− 1 =√x2− 1 となるので、 ( cosh−1x)′= √ 1 x2− 1 となります。これは直接計算と一致します。 次に、cosh x (x≤ 0) の逆関数を微分しましょう。(1) で求めた関数を微分すると、 ( cosh−1x)′= ( log ( x−√x2− 1))′₌ ( x−√x2− 1)′ x−√x2− 1 = 1− x √ x2₋₁ x−√x2_{− 1} = √ x2_{− 1 − x} x−√x2_{− 1} 1 √ x2_{− 1} =− 1 √ x2_{− 1}

となります。一方、逆関数の微分法により、y = cosh−1xの微分は ( cosh−1x)′= 1 cosh′y = 1 sinh y となります。ここで、関係式 cosh2y− sinh2y = 1 と y≤ 0 のとき sinh y ≤ 0 であることから、 sinh y =− √ cosh2y− 1 = −√x2− 1 となるので、 ( cosh−1x)′=−√ 1 x2_{− 1} となります。これは直接計算と一致します。 次に、sinh−1xを微分しましょう。(1) で求めた関数を微分すると、 ( sinh−1x)′= ( log ( x +√x2_{+ 1}))′₌ ( x +√x2_{+ 1})′ x +√x2_{+ 1} = 1 + √x x2₊₁ x +√x2_{+ 1} = √ x2_{+ 1 + x} x +√x2_{+ 1} 1 √ x2_{+ 1} = 1 √ x2_{+ 1} となります。一方、逆関数の微分法により、y = sinh−1xの微分は ( sinh−1x)′= 1 sinh′y = 1 cosh y となります。ここで、関係式 cosh2y− sinh2y = 1 と cosh y > 0 であることから、 cosh y = √ sinh2y + 1 =√x2_{+ 1} となるので、 ( sinh−1x)′= √ 1 x2_{+ 1} となります。これは直接計算と一致します。 最後に、tanh−1xを微分しましょう。(1) で求めた関数を微分すると、 ( tanh−1x)′= ( 1 2log 1 + x 1− x )_′ =1 2 1 1+x 1_−x ( 1 + x 1− x )_′ = 1 2 1− x 1 + x (1− x) − (−1)(1 + x) (1− x)2 = 1 1− x2 となります。一方、逆関数の微分法により、y = tanh−1xの微分は、 ( tanh−1x)′= 1 tanh′y = 1 1 cosh2_y

となります。ここで、問題 9 の (2) で求めた関係式 1− tanh2y = 1 cosh2y を使うと、 ( tanh−1x)′= 1 1− tanh2y = 1 1− x2 となります。これは直接計算と一致します。 □

コメント

双曲線関数は事実上指数関数なので、逆関数は対数関数を使って書けてしまいます。逆三角関数 のように新しい関数を定義する必要はありません。

問題

11

の解答

(1)まず中身の tanh x の微分を計算しておきましょう。 tanh x′= ( sinh x cosh x )′ = cosh 2_{x− sinh}2_x cosh2x = 1 cosh2x となります。よって、 √ tanh x′=1 2 tanh′x √ tanh x = 1 2 1 cosh2x √ cosh x √ sinh x = 1 2√cosh3x sinh x と計算できます。 あるいは、 (log|f(x)|)′= f ′_(x) f (x) の両辺に f (x) を掛けると f′(x) = f (x)(log|f(x)|)′ となることを利用する、いわゆる対数微分法を使う方法もあります。 log √ sinh x cosh x = 1 2log (sinh x)− 1 2log (cosh x) を微分すると、 1 2 cosh x sinh x − 1 2 sinh x cosh x = 1 2 1 cosh x sinh x となるので、 (√ tanh x )′ = √ sinh x cosh x 1 2 1 cosh x sinh x = 1 2√cosh3x sinh x

となります。 (2) ((tan x)x)′= ( ex log(tan x) )′ = (x log(tan x))′ex log(tan x)= ( log(tan x) + x1/ cos 2_x tan x ) (tan x)x = ( log(tan x) + 2x sin 2x ) (tan x)x となります。これは対数微分法を使ったのと実質的に同じ計算です。 (3)合成関数の微分法により、 (Arcsin(cos x))′ = cos ′_x √ 1− cos2_x=− sin x | sin x| となります。 (4)これも合成関数の微分法により、 ( Arctan √ 1− x 1 + x )′ = 1 1 + √ 1−x 1+x 2 (√ 1− x 1 + x )′ = 1 1 + 1_1+x−x 1 2 ( 1− x 1 + x )−1 2 −(1 + x) − (1 − x) (1 + x)2 =− 1 2√1− x2 となります。