ご存知の方も多いように、やの不定積分は高校で習うような関数（初等関数）では書くことができません。 今回は、このことを証明するために使われるLiouvilleの定理とその応用を紹介します。 今回の内容では、Liouvilleの定理の証明や"初等関数で書けない"と…

の不定積分は計算できない、 もっというと、初等関数では原始関数が書くことができないと言われます。 今回は"初等関数で書ける"ことの厳密な定義を述べます。 微分体の復習 "初等関数で書ける"の直感的な意味 "初等関数で書ける"ことの微分体による定式化 …