京大2021年度理系第6問(対偶証明：平均値の定理)

問題．

今年の問題は全体的に解く方針が分かりやすいものが多かったように感じます．

さて，第6問の解説に入っていきましょう．

問1 は証明ですが，因数分解を利用して対偶を示せば楽です．

問2 は「微分可能な関数」，や「存在することを示せ」というあたりから平均値の定理を使うことに気がつくことができればOKです．

解説．

問1

この問題は，2以上の自然数 \(m\) に対して

\begin{align*}
a^m – b^m &= (a-b)(a^{m-1}+a^{m-2}b+\cdots+ab^{m-2}+b^{m-1})
\end{align*}

が成り立つことを知っていれば，簡単に対偶を示すことができます．\(m=2, 3\) のときは展開(因数分解)の公式として覚えていると思います．\(a=b\) のとき \(a^m-b^m=0\)となるので，剰余の定理から \(a-b\) でくくれることが分かるかと思います．実際に \(a-b\) で割ってみれば右辺の形になることが確かめられます．

それでは，これを用いて問題を解いていきます．

対偶「\(n\) が素数でなければ(合成数ならば)，\(3^n-2^n\) も素数でない」という命題を示すことにします．

\(n\) が素数でないとき，\(n\) はある 2 つの自然数 \(p, q\quad(p, q\geqq 2)\) の積として \(n=pq\) と表せます．このとき，

\begin{align*}
3^n – 2^n &= 3^{pq} – 2^{pq}\\
&= \left(3^p\right)^q – \left(2^p\right)^q\\
&= \left(3^p-2^p\right)\left\{\left(3^p\right)^{q-1}+\left(3^p\right)^{q-2}\cdot 2^p +\cdots 3^p\cdot\left(2^p\right)^{q-2}+\left(2^p\right)^{q-1}\right\}
\end{align*}

となります．

あとは，右辺の \(3^p-2^p\) と \(\left(3^p\right)^{q-1}+\left(3^p\right)^{q-2}\cdot 2^p +\cdots 3^p\cdot\left(2^p\right)^{q-2}+\left(2^p\right)^{q-1}\) がともに 2 以上であることが言えればいいです．

\(3^p-2^p\) については，再び積の形にして

\begin{align*}
3^p-2^p &= (3-2)\left(3^{p-1}+3^{p-2}\cdot 2+\cdots+3\cdot2^{p-2}+2^{p-1}\right)\\
&\geqq 1\cdot p\\
&\geqq 2
\end{align*}

1行目から2行目の不等式は，各項 1 以上の \(p\) 項の和であることから成り立ちます．

同様に，

\begin{align*}
\left(3^p\right)^{q-1}+\left(3^p\right)^{q-2}\cdot 2^p +\cdots 3^p\cdot\left(2^p\right)^{q-2}+\left(2^p\right)^{q-1} &\geqq q\\
&\geqq 2
\end{align*}

となります．したがって，\(3^{pq}-2^{pq}\) は 2 つの 2 以上の自然数の積で書けるので，素数ではありません．よって，対偶が真なので元の命題も真で，「\(3^n-2^n\) が素数ならば \(n\) も素数である」ことが言えました．

問2 まずは，「グラフ \(y=f(x)\) の接線で原点 \((0, 0)\) を通るものが存在する」という条件について調べてみます．

\(y=f(x)\) 上の点 \((p, f(p))\) における接線の方程式は

\begin{align*}
y &= f^\prime(p) (x-p) + f(p)\\
&= f^\prime(p)x+f(p)-pf^\prime(p)
\end{align*}

これが原点 \((0, 0)\) を通るとき，\(x=0, y=0\) を代入すると

\begin{align*}
0 &= f^\prime(p)\cdot 0+f(p)-pf^\prime(p)\\
\therefore f(p) &= pf^\prime(p)
\end{align*}

となります．つまり，

「微分可能な関数 \(f(x)\) が \(f(a)=af(1)\) を満たすとき，\(f(p) = pf^\prime(p)\) を満たす \(p\) が存在する」ことを示せばいいことがわかります．……(\(\ast\))

記事の冒頭にも書いたように，平均値の定理を使うと予想されるので，平均値の定理を復習しておきましょう．