方針
(1) は2次式F(x)=x2−kax+a−kを区間の両端−1/a,1で評価する。F(−1/a)>0,F(1)≦0となるため,中間値の定理により(−1/a,1]に実根がある。(2)は割り切れる条件をn2+a=k(an+1)と置き,nが(1)の2次方程式の整数根であることに帰着する。もう一つの根sも整数で,(1)の区間条件からs=0,1に限られるので,解と係数の関係でnを決め,最後に実際に条件を満たすことを確認する。
解答
(1) F(x)=x2−kax+a−k とおく。a>0,k≧1である。まず F(1)=1−ka+a−k=(1+a)(1−k)≦0 である。またF(−a1)=a21+k+a−k=a21+a>0である。 F(x)は連続関数であるから,F(−1/a)>0かつF(1)≦0より,方程式F(x)=0は −a1<s≦1 を満たす実数解sをもつ。なお,F(1)=0の場合はs=1を取ればよく,F(1)<0の場合は−1/aと1の間に根がある。
(2) n2+aがan+1で割り切れるとし,その商をkとおく。a≧3,n≧2よりan+1>0,n2+a>0なので,kは1以上の整数である。割り切れる条件は n2+a=k(an+1) すなわち n2−kan+a−k=0 と書ける。したがってnは,(1)の2次方程式 x2−kax+a−k=0 の整数解である。
(1) より,この2次方程式は −a1<s≦1 を満たす実数解sをもつ。もう一つの解が整数nで,係数も整数なので,解と係数の関係から s=ka−n となり,sも整数である。a≧3なので−1/a>−1であり,整数sは s=0またはs=1 に限られる。 s=0のとき,解と係数の関係より ns=a−k=0 だからk=aである。また根の和から n+s=ka なので n=a2 を得る。 s=1のとき,解と係数の関係より n=a−k,n+1=ka である。第2式からk=(n+1)/aであり,これを第1式に代入すると n=a−an+1 である。よって an=a2−n−1,(a+1)n=a2−1=(a−1)(a+1) となり,n=a−1 を得る。
最後に確認する。n=a2のとき n2+a=a4+a=a(a3+1)=a(an+1) であり,割り切れる。n=a−1のとき n2+a=(a−1)2+a=a2−a+1=an+1 であり,これも割り切れる。どちらもa≧3ならn≧2である。
したがって求める整数は n=a−1,a2 である。
別解
解法2
方針
(1) は端点での符号と連続性で示す。(2)は商を導入して2次方程式の根を調べる代わりに,an+1がa3+1を割り切ることを合同式から導く。商側も1を法aで剰余にもつため(an+1)(av+1)=a3+1と書き,正整数n,vの積と和の条件を使って分類する。
解答
(1) F(x)=x2−kax+a−kとおくとF(1)=(a+1)(1−k)≦0であり,F(−a1)=a21+a>0である。Fは連続だから,中間値の定理により−a1<s≦1を満たす実数sでF(s)=0となるものが存在する。
(2) d=an+1とおく。仮定よりd∣n2+aである。ところがa2(n2+a)−(an−1)(an+1)=a3+1だからd=an+1∣a3+1(1)である。
e=(a3+1)/dとおく。d≡1(moda)かつde=a3+1≡1(moda)なので,e≡1(moda)である。したがって,ある0以上の整数vを用いてe=av+1と書ける。(1)は(an+1)(av+1)=a3+1となり,展開してaで割るとanv+n+v=a2(2)を得る。
v=0なら(2)からn=a2である。次にv≧1とする。(2)よりnv<aであり,また(2)を法aで見るとn+v≡0(moda).(3)もしv≧2なら,n≧2と合わせてn+v≦nv<aとなる。これは正の整数n+vがaの倍数である(3)に反する。よってv=1であり,(2)から(a+1)n+1=a2,n=a−1を得る。
最後に,n=a−1ではn2+a=an+1,n=a2ではn2+a=a(an+1)となるので,両方とも条件を満たす。したがってn=a−1,a2である。
総評
難度6,計算量5。目安時間は22分。(1)の存在証明は判別式ではなく,端点での符号を見るのが最も自然である。特に−1/aは開端点なので,F(−1/a)>0であることが効く。(2)では商kが1以上の整数であることを確認してから(1)を使う。もう一つの根sが整数になり,区間(−1/a,1]から0,1だけに絞れる点が勝負である。最後にn=a−1,a2が実際に割り切れることを検算すると,必要条件だけで終わらない答案になる。
冊子PDFで見る阪大の方程式・不等式の問題で問題集を作る
出典: 大阪大学 2016年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。