本文へ進む
メニュー
医学部数学 過去問DB問題を探す

浜松医科大学/2019年度/前期

浜松医科大学 2019年 数学 第3問解答・解説

このページには広告が含まれます。

1問題

浜松医科大学2019年度第3問

関数 f(x)f(x) はすべての実数 a,b,ca,b,c に対して f(a)f(b−c)+f(b)f(c−a)+f(c)f(a−b)=0f(a)f(b-c)+f(b)f(c-a)+f(c)f(a-b)=0 を満たすものと仮定する。このとき、以下の問いに答えよ。

(1) すべての実数 xx に対して f(−x)=−f(x)f(-x)=-f(x) が成立することを証明せよ。

(2) 0以上のすべての整数 nn、および、すべての実数 x,yx,y に対して f(y2)∑k=0nf(x+ky)=f(x+n2y)f(n+12y)\displaystyle f\left(\frac{y}{2}\right)\sum\limits _{k=0}^{n}f(x+ky) = f\left(x+\frac{n}{2}y\right)f\left(\frac{n+1}{2}y\right) が成立することを証明せよ。

(3) f(x)f(x) はすべての実数 xx で連続かつ x=0x=0 で微分可能で f′(0)=1f'(0)=1 と仮定する。f(x)f(x) の原始関数の1つを F(x)F(x) とすれば、すべての実数 s,ts,t に対して F(t)−F(s)2=f(s+t2)f(t−s2)\displaystyle \frac{F(t)-F(s)}{2} = f\left(\frac{s+t}{2}\right)f\left(\frac{t-s}{2}\right) が成立することを証明せよ。

まずは自分で解いてみましょう。詰まったら「考え方」、解けたら「答え」で確かめられます。

2考え方

考え方を見る解き方の方針だけを確かめる

元の関数方程式への代入で奇関数性と積の差の恒等式を導き、有限和では隣り合う項を打ち消し合わせる。積分の関係は等間隔リーマン和とf'(0)=1の定義から示す。

3答え

答えを見る自分の答えと照らし合わせる
  • (1) f(−x)=−f(x),f(-x)=-f(x),\quad (2) 指定の有限和の恒等式,,\quad (3) F(t)−F(s)2=f ⁣(s+t2)f ⁣(t−s2).\displaystyle \frac{F(t)-F(s)}{2}=f\!\left(\frac{s+t}{2}\right)f\!\left(\frac{t-s}{2}\right).

4解答

解答を見る途中式つきの解答

(1) 元の条件を P(a,b,c)P(a,b,c) と書く。a=b=c=0a=b=c=0 とすると 3f(0)2=03f(0)^2=0 だから f(0)=0f(0)=0 である。また P(x,y,0)P(x,y,0) より f(y){f(x)+f(−x)}=0f(y)\{f(x)+f(-x)\}=0 を得る。f≡0f\equiv0 なら結論は明らかである。そうでなければ f(y0)≠0f(y_0)\ne0 となる y0y_0 があるので、上式に y=y0y=y_0 を代入すると、すべての実数 xx について f(−x)=−f(x)f(-x)=-f(x) となる。

(2) P(u,−v−r,−r)P(u,-v-r,-r) に奇関数であることを用いると −f(u)f(v)+f(v+r)f(u+r)−f(r)f(u+v+r)=0-f(u)f(v)+f(v+r)f(u+r)-f(r)f(u+v+r)=0 となる。したがって f(u+r)f(v+r)−f(u)f(v)=f(r)f(u+v+r).(1)f(u+r)f(v+r)-f(u)f(v)=f(r)f(u+v+r). \tag{1} (1) で r=y/2, u=x+(k−1)y/2, v=ky/2r=y/2,\ u=x+(k-1)y/2,\ v=ky/2 とおくと f ⁣(x+ky2)f ⁣((k+1)y2)−f ⁣(x+(k−1)y2)f ⁣(ky2)=f ⁣(y2)f(x+ky).\displaystyle f\!\left(x+\frac{k y}{2}\right)f\!\left(\frac{(k+1)y}{2}\right) -f\!\left(x+\frac{(k-1)y}{2}\right)f\!\left(\frac{k y}{2}\right) =f\!\left(\frac y2\right)f(x+ky). これを k=0,1,…,nk=0,1,\ldots,n について加えると左辺では隣り合う項が打ち消し合い、 f ⁣(y2)∑k=0nf(x+ky)=f ⁣(x+ny2)f ⁣((n+1)y2)−f ⁣(x−y2)f(0).\displaystyle f\!\left(\frac y2\right)\sum\limits _{k=0}^{n}f(x+ky) =f\!\left(x+\frac{ny}{2}\right)f\!\left(\frac{(n+1)y}{2}\right) -f\!\left(x-\frac y2\right)f(0). f(0)=0f(0)=0 だから、示すべき式を得る。

(3) s=ts=t なら両辺とも 00 である。s≠ts\ne t とし、正の整数 nn に対して yn=(t−s)/ny_n=(t-s)/n とおく。(2) に x=s, y=ynx=s,\ y=y_n を代入すると f ⁣(yn2)∑k=0nf(s+kyn)=f ⁣(s+t2)f ⁣(t−s2+yn2).(2)\displaystyle f\!\left(\frac{y_n}{2}\right)\sum\limits _{k=0}^{n}f(s+ky_n) =f\!\left(\frac{s+t}{2}\right)f\!\left(\frac{t-s}{2}+\frac{y_n}{2}\right). \tag{2} f(0)=0, f′(0)=1f(0)=0,\ f'(0)=1 より f(h)/h→1f(h)/h\to1 である。よって十分大きい nn では f(yn/2)≠0f(y_n/2)\ne0 であり、 ynf(yn/2)⟶2.\displaystyle \frac{y_n}{f(y_n/2)}\longrightarrow2. (2) にこの比を掛ける。左辺は、端点の項 ynf(t)y_nf(t) が 00 に収束することから、リーマン和の極限として ∫stf(x) dx\displaystyle \int_s^t f(x)\,dx に収束する。右辺は 2f ⁣(s+t2)f ⁣(t−s2)\displaystyle 2f\!\left(\frac{s+t}{2}\right)f\!\left(\frac{t-s}{2}\right) に収束する。ff は連続で F′=fF'=f だから、∫stf(x) dx=F(t)−F(s)\displaystyle \int_s^t f(x)\,dx=F(t)-F(s) である。したがって F(t)−F(s)2=f ⁣(s+t2)f ⁣(t−s2)\displaystyle \frac{F(t)-F(s)}{2} =f\!\left(\frac{s+t}{2}\right)f\!\left(\frac{t-s}{2}\right) が成立する。

この問題で使う考え方

  • 対偶・背理法による証明
  • 数列の極限
  • 不定積分・定積分の性質

PR

数学を1対1で教わるオンライン塾「数強塾」

数強塾は、中学生・高校生のための数学専門のオンライン個別指導塾です。プロ講師がマンツーマンで教え、大学受験の数学にも対応しています。入塾の前に、今の学習状況と目標を確かめる診断授業(体験・3,000円、税込)を受けられます。

「数強塾」オンライン数学克服塾〈プロ講師〉

東大生と1対1で学べるオンライン個別指導「トウコベ」

トウコベは、東大生を中心に難関大学の学生が講師を務める、完全マンツーマンのオンライン個別指導です。はじめに、オンラインの説明会・勉強相談(無料)をWebで予約でき、その後にお試し授業を受けられます。

トウコベ公式サイト

似た問題を、ほかの大学で

答えや解説の誤りに気づいたら、お問い合わせから教えてください。