方針
微分で被積分関数を評価し、部分積分で漸化式を作る。漸化式を階乗で割って和をとり、最後は0<an<1を使う。
解答
(1)
0<x≦1でfn′(x)=xn−1e1−x(n−x)≧0であるから、fnは[0,1]で単調増加する。fn(0)=0、fn(1)=1より0≦fn(x)≦1.さらに(0,1)では0<fn(x)<1なので、区間の長さが1であることから0<an=∫01fn(x)dx<1.(2)
直接積分してa1=∫01xe1−xdx=e−2.またn>1について部分積分するとan=[−xne1−x]01+n∫01xn−1e1−xdx=nan−1−1.(3)
前式をn!で割るとn!an=(n−1)!an−1−n!1.これをnから2まで繰り返し、a1=e−2を用いればn!an=e−2−j=2∑nj!1=e−(1+1!1+2!1+⋯+n!1).(4)
(3)を変形するとn!e=n!(1+1!1+⋯+n!1)+an.右辺第1項は整数であり、(1)より0<an<1である。従ってn!eは整数と整数の間にあり、整数ではない。
別解
解法2
方針
(1) は logx≦x−1 を使って被積分関数を直接1以下に抑える。(3)では漸化式を反復する代わりに、微分すると −fn(x) になる多項式付き指数関数を構成し、定積分を一度で評価する。
解答
(1)
0<x≦1 ではlogx≦x−1.従ってlogfn(x)=nlogx+1−x≦n(x−1)+1−x=(n−1)(x−1)≦0.よって 0≦fn(x)≦1 であり、内部では正で、恒等的に1ではないから0<an<1.(2)a1=∫01xe1−xdx=e−2.また n>1 で部分積分するとan=nan−1−1.(3)Pn(x)=n!j=0∑nj!xjと置く。このときPn′(x)−Pn(x)=−xnだからdxd{e1−xPn(x)}=−xne1−x=−fn(x).よってan=ePn(0)−Pn(1)=n!{e−j=0∑nj!1}.すなわちn!an=e−(1+1!1+⋯+n!1).(4)
上式よりn!e=n!j=0∑nj!1+an.第1項は整数で、0<an<1 だから n!e は整数ではない。
総評
難度6、計算量6。積分漸化式による方法に加え、微分で −fn を作る多項式を構成した。最後は 0<an<1 が整数部分と小数部分を分けるために必要で、単なる正値だけでは不十分である。
冊子PDFで見る阪大の積分の問題で問題集を作る
出典: 大阪大学 1997年度 後期 理系 第2問。問題文はHTML表示のために再入力・数式組版しています。