高校数学の定積分で途中に定義できない点がある場合は計算できる？tanの積分と広義積分を解説

高校数学の定積分では、基本的には区間内で関数が連続していることを前提として計算します。しかし、tanxのように途中で定義できない点がある関数や、端点で値が発散する関数の場合、「定積分として扱えるのか」という疑問が生じます。

例えば、0から2π/3までのtanxの積分や、0からπ/2に近づく範囲での積分では、関数が無限大へ近づく場所があります。このような場合は通常の定積分とは考え方が異なり、広義積分という考え方を使います。この記事では、定積分が成立する条件や、発散する場合の扱いについて詳しく解説します。

定積分を計算するための基本条件

高校数学で扱う定積分は、基本的には積分区間内で関数が定義され、連続している場合に計算します。

例えば、∫0から3までx²dxのような積分では、区間内のすべての場所でx²が定義されているため、通常の定積分として計算できます。

一方で、tanxのように特定の場所で値が存在しない関数では注意が必要です。tanxはcosxが0になる場所で定義できないため、x=π/2などでは関数の値を持ちません。

積分区間の途中に関数が定義されない点がある場合、通常の意味での定積分は存在しません。

例えば、∫0から2π/3 tanx dxを考えると、区間内にx=π/2が含まれています。この点ではtanxは定義できないため、区間全体で連続な関数ではありません。

この場合、単純に不定積分の式を使ってF(2π/3)-F(0)と計算することはできません。なぜなら、途中のx=π/2で関数が途切れており、面積を一続きのものとして扱えないためです。

定義できない点を含む積分では、広義積分という考え方を使います。広義積分では、問題のある点を避けて区間を分け、その点に近づけた極限で値を考えます。

例えば、∫0からπ/2 tanx dxの場合、π/2ではtanxが定義できません。そのため、次のように考えます。

∫0からπ/2 tanx dx = lim(a→π/2-0) ∫0からa tanx dx

つまり、π/2そのものまで積分するのではなく、π/2より少し手前まで積分して、その値が有限の値に近づくかを調べます。

積分区間の途中ではなく、端点だけで関数が発散する場合は、広義積分として値が存在することがあります。

例えば、1/xの積分を考えると、x=0では定義できません。しかし、∫1から∞1/x²dxのように、無限大や定義できない点を含んでも、極限を取った結果が有限になる場合があります。

一方で、∫0からπ/2 tanx dxでは、tanxはπ/2に近づくにつれて無限大になります。実際に積分すると、

∫tanx dx=-log|cosx|

となるため、xがπ/2に近づくとcosxが0に近づき、対数の値が無限大になります。そのため、この積分は発散し、有限の値を持ちません。

定義できない点が積分区間の途中にある場合と、端にある場合では扱いが異なります。

状態	扱い
区間の途中に定義できない点がある	その点で区切って広義積分を考える
区間の端で発散する	極限を取って有限値になるか確認する

例えば、0からπ/2までのtanxでは端点で発散しますが、広義積分を考えても値は無限大になります。

一方で、発散する部分があっても、正負の面積が打ち消し合うように見える場合があります。しかし、通常の定積分として単純に相殺させることはできません。区間を分け、それぞれが収束するか確認する必要があります。

区分求積法では、区間を細かく分けて長方形の面積の和で定積分を考えます。しかし、関数が途中で定義されない場合、その部分の長方形をどのように作るかが問題になります。

そのため、区間内に飛びや無限大になる点がある場合、通常の区分求積による定積分の定義から外れます。

ただし、広義積分では問題のある場所を避けながら極限を考えることで、積分の概念を拡張しています。通常の定積分と広義積分は似ていますが、扱っている条件が異なる点に注意が必要です。

定積分は基本的に、積分区間内で関数が定義され連続であることを前提としています。そのため、tanxのように途中で定義できない点が含まれる場合、通常の定積分として値を求めることはできません。

一方で、端点で関数が発散する場合は広義積分として考えることができ、極限を取った結果が有限なら積分値が存在します。ただし、tanxの0からπ/2までの積分のように、極限が無限大になる場合は発散して値を持ちません。

定積分の問題では、単に原始関数を求めるだけでなく、「積分区間で関数が本当に扱える状態か」を確認することが重要です。関数の定義域や連続性を見る習慣を身につけることで、より正確に積分問題を解けるようになります。