【数学小話】cosθ=2 は複素数の範囲内で解ける
↓ここからカテゴリー別に記事を見ることができます。↓
今回の記事は数IIBまでの範囲でぎり理解可能な内容です。できれば数IIIまでの知識を要求します。
今回は複雑な式が多く、すいすい読むのは厳しいかと思われます。ぜひ紙とペンを用意して手を動かしながらお楽しみください。
目的は、 が複素数の範囲内でどう解けるか、そもそも複素数における三角関数とは、を高校生で理解できるように書くことです。
毎回「しーた」と打って変換するのが面倒なのでθの代わりにzを使います。
目次
高校数学で登場する三角関数sin, cos は、値域は-1以上1以下です。数IIにおける三角関数の定義は以下の通りです。
三角関数の定義
原点を中心とする半径1の円(以下、単位円と書く)上に点Aがあり、直線OAとx軸のなす角をθとしたとき、Aの座標を
とする。
sin, cosは違う定義もあります。数Iの三角関数という単元では、180°を超える角度を考えないので直角三角形を使った定義が採用されます。ほかにも半径rの円を使った定義もありえます。今回の単位円を使う定義では、定義から明らかにsin, cosの値が-1から1をはみ出ることはありえません。
そう、定義域が実数ならば。
実は、 の解は複素数の範囲内に無数に存在します。
複素三角関数
大学の数学で、テイラー展開というものを習います。これは、さまざまな関数の任意の点の近傍(平たく言うと、あるxの近辺)を、微分しやすく扱いやすい
という形の関数に近似するものです。詳しい計算は省きますが、これを使うと、
という結果が得られます。(これらは任意の実数xについて成り立つ)
この関係式だけは無条件で使えることとして、まずはこれらの式から出発しましょう。複素数の世界における三角関数を定義します。そのためにまず複素指数関数を定義します。
式③のxに、形式的に を代入します。すると、
ここで、和の順番を入れ替えることを許して実部と虚部に分けると、
となりますが、よく見ると、実部と虚部はそれぞれ式①②そのものです。よって、
が得られました。この式は非常に大切で、オイラーの公式と言われています。
ちなみに式④に を代入すれば右辺は-1になり、これを移項すれば、
という、最も美しい公式が得られます。
さて、指数法則を使えば、複素数 に対して、 を
と定義します。これで複素指数関数を定義できました。ちなみに、③のxをzに変えただけの、
が成り立ちます。この式を定義とすることもあります。
さて、ここからはオイラーの公式
を使っていきます。
xを-xに置き換えると、ixは-ixに代わり、
となります。ここで④+⑤を計算すると、
が得られ、④-⑤を計算すると、
が得られました。sin,cosがeの指数関数で表すことができました。xをそのままzに置き換えて、
長い準備が終わりました。ここからです。
cosz=2を解く
ではcosの定義の式から方程式を解きます。
ここで、 と置きます。 であることに注意して、
これにて、
が得られました。ここで両辺のlogをとればいいのですが、一つだけ注意がありあす。
複素対数関数の定義
さっと結果のみを書きます。
複素数のlogでは、複素数の偏角(+2nπ)にiをかけた項があります。
今回は の偏角は0なので、
の両辺のlogをとって、
はい、これで解けました。
を満たす複素数 は、
ちなみに同じような問題がさまざまな大学院の過去問に出題されたりしています。
補足
複素対数関数のi(θ+2nπ)という項について。オイラーの公式
に、x=2nπを代入すると、
となります。なので、
となって、指数関数は虚部に関して周期2πをもつのです。なので対数をとったとき、i(θ+2nπ)という項があるのです。
ちなみに、今回の内容は大学2,3年で習う「複素関数論」という単元に当てはまります。最後におさらい。
今回登場した関数
複素三角関数
複素指数関数
複素指数関数による複素三角関数の書き換え
複素対数関数
これらの関数は非常によく使うもので、例えば、この複素関数を利用することで、ディリクレ積分
という実関数の積分が求められます。この関数は高校までの範囲では積分できません。複素関数の理論を少し勉強すると、このような実関数の積分を、直接積分を実行せずに求められます。
などなど。特に最後の積分は高校数学ではむりでしょう。
written by k