高校数学では逆三角関数を「三角関数の逆関数」として学びます。しかし大学レベルの解析学では、逆三角関数は代数的関数の積分によって定義されることがあります。なぜわざわざそのような定義を採用するのか、不思議に感じる人も多いでしょう。この記事では、逆三角関数が積分によって導入される理由と、その背後にある数学的な考え方を解説します。
逆三角関数は本来どのような関数か
例えば逆正弦関数arcsin xは、sin y=xを満たす角度yを返す関数です。
高校数学ではこの性質をそのまま定義として採用します。
しかし解析学では、関数をできるだけ少ない前提から構築することが重視されます。
そのため三角関数の逆関数として導入する代わりに、微分や積分だけを用いて定義できないかが考えられました。
逆三角関数の導関数に注目する
逆正弦関数について微分を計算すると、次の公式が得られます。
d/dx(arcsin x)=1/√(1-x²)
また逆正接関数については、
d/dx(arctan x)=1/(1+x²)
となります。
これらの右辺は三角関数ではなく、代数式や有理式だけで表された関数です。
つまり逆三角関数は、これらの関数の原始関数として捉えることができます。
積分による定義が自然な理由
解析学では、まず簡単な関数から出発して新しい関数を作ることが好まれます。
そこで逆正弦関数を次のように定義します。
arcsin x=∫0xdt/√(1-t²)
同様に逆正接関数は、
arctan x=∫0xdt/(1+t²)
と定義できます。
こうすると三角関数を前提にせず、積分だけから逆三角関数を構成できます。
指数関数や対数関数との共通点
実はこの考え方は自然対数の定義とよく似ています。
自然対数log xも、
log x=∫1x(1/t)dt
として定義されます。
その後で指数関数を逆関数として導入します。
つまり解析学では「積分で関数を定義し、その性質を後から証明する」という流れが一般的です。
逆三角関数も同じ思想に基づいています。
なぜ代数的関数が現れるのか
逆三角関数の導関数に現れる√(1-x²)や1+x²は、多項式から作られた代数的関数や有理関数です。
解析学では、このような比較的単純な関数の積分として新しい超越関数を生み出すことができます。
実際、arcsinやarctanは代数関数では表せない超越関数ですが、その導関数は非常に単純な形をしています。
そのため積分による定義が自然で扱いやすいのです。
積分定義から逆関数であることも証明できる
積分で定義されたarcsin xは、微分すると1/√(1-x²)になります。
この性質を利用すると、sin(arcsin x)=xが成立することを後から証明できます。
つまり逆関数であることは定義ではなく結果として導かれるのです。
これは解析学が重視する「定義を最小限にし、性質を証明する」という考え方の典型例です。
まとめ
逆三角関数が代数的関数の積分として定義されるのは、三角関数を前提にせず解析学の枠組みだけで構築するためです。
特にarcsin xは1/√(1-x²)、arctan xは1/(1+x²)の原始関数として自然に導入できます。
この方法を用いることで、逆三角関数の微分公式や逆関数としての性質を後から論理的に導くことが可能になります。
高校数学では逆関数として学びますが、大学数学では積分から出発する方がより本質的な定義として扱われています。
コメント