みんなの教科書GitHub

数学II 式と証明

答えと解説

答えが合っていても、解説を読んで「なぜそう解くのか」まで確認すると力がつきます。 解説を読んでもわからないときは、AIに質問してみましょう。

1基本

次の計算をせよ。
(1) (x+2)3(x+2)^3 を展開せよ。
(2) x327x^3 - 27 を因数分解せよ。

答え

(1) x3+6x2+12x+8x^3 + 6x^2 + 12x + 8
(2) (x3)(x2+3x+9)(x-3)(x^2+3x+9)

解説

(1) (a+b)3=a3+3a2b+3ab2+b3(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3 の公式で、a=xa = xb=2b = 2 とします。

(x+2)3=x3+3x22+3x22+23(x+2)^3 = x^3 + 3 \cdot x^2 \cdot 2 + 3 \cdot x \cdot 2^2 + 2^3
=x3+6x2+12x+8= x^3 + 6x^2 + 12x + 8

(2) 27=3327 = 3^3 なので、a3b3=(ab)(a2+ab+b2)a^3 - b^3 = (a-b)(a^2+ab+b^2) の公式で、a=xa = xb=3b = 3 とします。

x327=(x3)(x2+3x+9)x^3 - 27 = (x-3)(x^2 + 3x + 9)

3乗の公式では「3a2b3a^2b33 を忘れる」「a2+ab+b2a^2+ab+b^2 の真ん中の符号を間違える」の2つがミスの定番です。a3b3a^3-b^3 のときは後ろの2次式の真ん中が +ab+ab になります。展開して元に戻るか検算しましょう。

ChatGPTで質問Claudeで質問Geminiで質問
2基本

(x+3)5(x+3)^5 の展開式における x2x^2 の係数を求めよ。

答え

270270

解説

二項定理を使います。(x+3)5(x+3)^5 の展開式の一般項は

5Crx5r3r\,{}_5 \mathrm{C}_r \, x^{5-r} \cdot 3^r

x2x^2 の項になるのは 5r=25 - r = 2、すなわち r=3r = 3 のときです。よって x2x^2 の係数は

5C333=10×27=270\,{}_5 \mathrm{C}_3 \cdot 3^3 = 10 \times 27 = 270

一般項を書いたら、「xx の指数 == 求めたい次数」という方程式から rr を決める、という手順を毎回同じように踏めば確実です。5C3=5C2=5421=10\,{}_5 \mathrm{C}_3 = {}_5 \mathrm{C}_2 = \dfrac{5 \cdot 4}{2 \cdot 1} = 10 です。

ChatGPTで質問Claudeで質問Geminiで質問
3基本

整式 x3+2x24x+5x^3 + 2x^2 - 4x + 5x2+x1x^2 + x - 1 で割ったときの商と余りを求めよ。

答え

x+1x + 1、余り 4x+6-4x + 6

解説

筆算で割り進めます。

まず、最高次どうしの割り算 x3÷x2=xx^3 \div x^2 = x より、商の最初の項は xx

x3+2x24x+5x(x2+x1)=x3+2x24x+5(x3+x2x)=x23x+5x^3 + 2x^2 - 4x + 5 - x(x^2 + x - 1) = x^3 + 2x^2 - 4x + 5 - (x^3 + x^2 - x) = x^2 - 3x + 5

次に x2÷x2=1x^2 \div x^2 = 1 より、商の次の項は 11

x23x+51(x2+x1)=4x+6x^2 - 3x + 5 - 1 \cdot (x^2 + x - 1) = -4x + 6

余り 4x+6-4x + 6 は1次で、割る式(2次)より次数が低いので、ここで割り算は終了です。

x+1x + 1、余り 4x+6-4x + 6

検算は A=BQ+RA = BQ + R で行います。

(x2+x1)(x+1)+(4x+6)=(x3+2x21)+(4x+6)=x3+2x24x+5(x^2+x-1)(x+1) + (-4x+6) = (x^3 + 2x^2 - 1) + (-4x + 6) = x^3 + 2x^2 - 4x + 5

元の式に一致するので正しいと確認できます。

ChatGPTで質問Claudeで質問Geminiで質問
4基本

等式 x2+3x+4=a(x1)2+b(x1)+cx^2 + 3x + 4 = a(x-1)^2 + b(x-1) + cxx についての恒等式となるように、定数 aabbcc の値を定めよ。

答え

a=1a = 1b=5b = 5c=8c = 8

解説

係数比較法で解きます。右辺を展開して整理すると

a(x22x+1)+b(x1)+c=ax2+(2a+b)x+(ab+c)a(x^2 - 2x + 1) + b(x - 1) + c = ax^2 + (-2a + b)x + (a - b + c)

これが x2+3x+4x^2 + 3x + 4 と恒等的に等しいので、各次数の係数を比較して

a=1,2a+b=3,ab+c=4a = 1, \quad -2a + b = 3, \quad a - b + c = 4

第1式から a=1a = 1。これを第2式に代入して 2+b=3-2 + b = 3 より b=5b = 5。第3式に代入して 15+c=41 - 5 + c = 4 より c=8c = 8

【数値代入法での別解】x=1x = 1 を代入すると、右辺は cc だけが残り、1+3+4=c1 + 3 + 4 = c より c=8c = 8 が一発で出ます。さらに x=0x = 0x=2x = 2 を代入して連立してもかまいません。

「カッコの中を 00 にする値を代入する」と計算が速くなります。求めた値を右辺に戻して展開し、左辺に一致することを確かめれば完璧です。

ChatGPTで質問Claudeで質問Geminiで質問
5基本

a+b=1a + b = 1 のとき、等式 a2+b2=12aba^2 + b^2 = 1 - 2ab が成り立つことを証明せよ。

答え

(証明)条件 a+b=1a+b=1 から (a+b)2=1(a+b)^2 = 1 を用いて示す(解説参照)。

解説

条件付き等式の証明です。条件 a+b=1a + b = 1 を使って左辺から右辺を導きます。

a2+b2=(a+b)22aba^2 + b^2 = (a+b)^2 - 2ab という恒等式(対称式の変形)を使うと

a2+b2=(a+b)22ab=122ab=12aba^2 + b^2 = (a+b)^2 - 2ab = 1^2 - 2ab = 1 - 2ab

よって等式は証明されました。

【別解:文字消去】条件から b=1ab = 1 - a として左辺・右辺に代入します。

左辺:
$a2+(1a)2=a2+12a+a2=2a22a+1a^2 + (1-a)^2 = a^2 + 1 - 2a + a^2 = 2a^2 - 2a + 1$

右辺:
$12a(1a)=12a+2a2=2a22a+11 - 2a(1-a) = 1 - 2a + 2a^2 = 2a^2 - 2a + 1$

両辺が同じ式になるので、等式が成り立ちます。

条件付き等式では「条件を使って文字を1つ消す」か「条件の式がそのまま使える形に変形する」のどちらかです。この問題では (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2 の関係に気づくと計算が最短になります。

ChatGPTで質問Claudeで質問Geminiで質問
6標準

x2x6x21×x2+3x+2x24x+3\dfrac{x^2-x-6}{x^2-1} \times \dfrac{x^2+3x+2}{x^2-4x+3} を計算せよ。

答え

(x+2)2(x1)2\dfrac{(x+2)^2}{(x-1)^2}

解説

分母・分子をすべて因数分解してから約分します。

x2x6=(x3)(x+2)x^2 - x - 6 = (x-3)(x+2)
x21=(x+1)(x1)x^2 - 1 = (x+1)(x-1)
x2+3x+2=(x+1)(x+2)x^2 + 3x + 2 = (x+1)(x+2)
x24x+3=(x1)(x3)x^2 - 4x + 3 = (x-1)(x-3)

よって

(x3)(x+2)(x+1)(x1)×(x+1)(x+2)(x1)(x3)\frac{(x-3)(x+2)}{(x+1)(x-1)} \times \frac{(x+1)(x+2)}{(x-1)(x-3)}

x3x-3x+1x+1 が約分できて

=(x+2)(x+2)(x1)(x1)=(x+2)2(x1)2= \frac{(x+2)(x+2)}{(x-1)(x-1)} = \frac{(x+2)^2}{(x-1)^2}

分数式の乗法は「展開してから」ではなく「因数分解してから」が鉄則です。展開してしまうと約分できる共通因数が見えなくなります。

ChatGPTで質問Claudeで質問Geminiで質問
7標準

1x(x+1)+1(x+1)(x+2)\dfrac{1}{x(x+1)} + \dfrac{1}{(x+1)(x+2)} を計算せよ。

答え

2x(x+2)\dfrac{2}{x(x+2)}

解説

分母の最小公倍数 x(x+1)(x+2)x(x+1)(x+2) で通分します。

1x(x+1)+1(x+1)(x+2)=x+2x(x+1)(x+2)+xx(x+1)(x+2)\frac{1}{x(x+1)} + \frac{1}{(x+1)(x+2)} = \frac{x+2}{x(x+1)(x+2)} + \frac{x}{x(x+1)(x+2)}

分子をまとめて

=(x+2)+xx(x+1)(x+2)=2x+2x(x+1)(x+2)=2(x+1)x(x+1)(x+2)= \frac{(x+2) + x}{x(x+1)(x+2)} = \frac{2x+2}{x(x+1)(x+2)} = \frac{2(x+1)}{x(x+1)(x+2)}

x+1x+1 が約分できて

=2x(x+2)= \frac{2}{x(x+2)}

【別解:部分分数分解】1x(x+1)=1x1x+1\dfrac{1}{x(x+1)} = \dfrac{1}{x} - \dfrac{1}{x+1}1(x+1)(x+2)=1x+11x+2\dfrac{1}{(x+1)(x+2)} = \dfrac{1}{x+1} - \dfrac{1}{x+2} と分解すると、1x+1\dfrac{1}{x+1} が打ち消し合って

1x1x+2=(x+2)xx(x+2)=2x(x+2)\frac{1}{x} - \frac{1}{x+2} = \frac{(x+2) - x}{x(x+2)} = \frac{2}{x(x+2)}

通分した後、分子を因数分解して約分できないか必ず確認しましょう。約分し忘れは減点対象です。

ChatGPTで質問Claudeで質問Geminiで質問
8標準

等式 x+5(x1)(x+2)=ax1+bx+2\dfrac{x+5}{(x-1)(x+2)} = \dfrac{a}{x-1} + \dfrac{b}{x+2}xx についての恒等式となるように、定数 aabb の値を定めよ。

答え

a=2a = 2b=1b = -1

解説

両辺に (x1)(x+2)(x-1)(x+2) を掛けて分母をはらうと

x+5=a(x+2)+b(x1)x + 5 = a(x+2) + b(x-1)

これが xx についての恒等式になればよいので、数値代入法を使います。

x=1x = 1 を代入すると(bb の項が消える)

6=3a6 = 3a

よって a=2a = 2

x=2x = -2 を代入すると(aa の項が消える)

3=3b3 = -3b

よって b=1b = -1

逆にこのとき、右辺は 2(x+2)(x1)=2x+4x+1=x+52(x+2) - (x-1) = 2x + 4 - x + 1 = x + 5 となり、確かに左辺と一致するので恒等式です。

【係数比較法での確認】右辺 =(a+b)x+(2ab)= (a+b)x + (2a-b) なので、a+b=1a + b = 12ab=52a - b = 5。2式を足すと 3a=63a = 6a=2a = 2b=1b = -1。同じ答えになります。

この「部分分数分解」は数学IIIの積分や数列の和でも使う重要技法です。分母の因数が 00 になる値を代入すると、文字が1つずつ消えて速く解けます。

ChatGPTで質問Claudeで質問Geminiで質問
9標準

(x22x)6\left(x^2 - \dfrac{2}{x}\right)^6 の展開式における x3x^3 の係数を求めよ。

答え

160-160

解説

二項定理の一般項を書きます。

6Cr(x2)6r(2x)r=6Crx122r(2)rxr=6Cr(2)rx123r\,{}_6 \mathrm{C}_r \, (x^2)^{6-r} \left(-\frac{2}{x}\right)^r = {}_6 \mathrm{C}_r \, x^{12-2r} \cdot (-2)^r \cdot x^{-r} = {}_6 \mathrm{C}_r \, (-2)^r \, x^{12-3r}

x3x^3 の項になるのは 123r=312 - 3r = 3、すなわち r=3r = 3 のときです。よって係数は

6C3(2)3=20×(8)=160\,{}_6 \mathrm{C}_3 \cdot (-2)^3 = 20 \times (-8) = -160

分母に xx がある式では、指数法則 1x=x1\dfrac{1}{x} = x^{-1} を使って指数を1つの式にまとめるのがポイントです。また (2)r(-2)^r の符号を含めて計算すること。マイナスを忘れるミスが非常に多い問題です。

ChatGPTで質問Claudeで質問Geminiで質問
10標準

ab=cd\dfrac{a}{b} = \dfrac{c}{d} のとき、等式 a+cb+d=ab\dfrac{a+c}{b+d} = \dfrac{a}{b} が成り立つことを証明せよ。ただし b+d0b + d \ne 0 とする。

答え

(証明)ab=cd=k\dfrac{a}{b} = \dfrac{c}{d} = k とおいて示す(解説参照)。

解説

比例式の証明は「=k=k とおく」のが定石です。

ab=cd=k\frac{a}{b} = \frac{c}{d} = k

とおくと

a=bk,c=dka = bk, \quad c = dk

と表せます。これを左辺に代入すると

a+cb+d=bk+dkb+d=k(b+d)b+d=k\frac{a+c}{b+d} = \frac{bk+dk}{b+d} = \frac{k(b+d)}{b+d} = k

(b+d0b + d \ne 0 なので約分できます。)

一方、右辺は ab=k\dfrac{a}{b} = k

よって左辺 == 右辺となり、等式は証明されました。

比例式が条件に出てきたら、反射的に「=k=k とおいて、分子を a=bka = bk の形で表す」と覚えておきましょう。分数のまま変形しようとするより、圧倒的に見通しがよくなります。

ChatGPTで質問Claudeで質問Geminiで質問
11標準

不等式 x2+y22(x+y1)x^2 + y^2 \ge 2(x + y - 1) を証明せよ。また、等号が成り立つのはどんなときか。

答え

(証明)左辺 - 右辺 =(x1)2+(y1)20= (x-1)^2 + (y-1)^2 \ge 0 による(解説参照)。等号成立は x=y=1x = y = 1 のとき。

解説

不等式の証明の基本方針「左辺 - 右辺 0\ge 0 を示す」に従います。

x2+y22(x+y1)=x22x+y22y+2x^2 + y^2 - 2(x + y - 1) = x^2 - 2x + y^2 - 2y + 2

xx の部分と yy の部分をそれぞれ平方完成します。

=(x22x+1)+(y22y+1)=(x1)2+(y1)2= (x^2 - 2x + 1) + (y^2 - 2y + 1) = (x-1)^2 + (y-1)^2

実数の2乗は 00 以上なので

(x1)2+(y1)20(x-1)^2 + (y-1)^2 \ge 0

よって x2+y22(x+y1)x^2 + y^2 \ge 2(x+y-1) が成り立ちます。

等号が成り立つのは (x1)2=0(x-1)^2 = 0 かつ (y1)2=0(y-1)^2 = 0、すなわち x=1x = 1 かつ y=1y = 1 のときです。

「2乗の和」の形に持ち込めれば勝ち、というのが不等式証明の第一の型です。等号成立条件は「すべての2乗が同時に 00」であることに注意しましょう(どれか1つだけでは等号になりません)。

ChatGPTで質問Claudeで質問Geminiで質問
12発展

x>0x > 0 のとき、x+9x+2x + \dfrac{9}{x+2} の最小値を求めよ。

答え

最小値 44(x=1x = 1 のとき)

解説

相加平均・相乗平均の関係を使いますが、そのまま xx9x+2\dfrac{9}{x+2} に適用しても、積 9xx+2\dfrac{9x}{x+2} が定数にならず失敗します。掛けたときに文字が消えるよう、式の形を整えるのがポイントです。

x+9x+2=(x+2)+9x+22x + \frac{9}{x+2} = (x+2) + \frac{9}{x+2} - 2

と変形します(+2+2 した分を 2-2 で調整)。x>0x > 0 より x+2>0x + 2 > 0、また 9x+2>0\dfrac{9}{x+2} > 0 なので、相加平均・相乗平均の関係が使えて

(x+2)+9x+22(x+2)9x+2=29=6(x+2) + \frac{9}{x+2} \ge 2\sqrt{(x+2) \cdot \frac{9}{x+2}} = 2\sqrt{9} = 6

よって

x+9x+262=4x + \frac{9}{x+2} \ge 6 - 2 = 4

等号が成り立つのは x+2=9x+2x + 2 = \dfrac{9}{x+2}、すなわち (x+2)2=9(x+2)^2 = 9 のとき。x+2>0x + 2 > 0 より x+2=3x + 2 = 3、つまり x=1x = 1 のときです。これは x>0x > 0 を満たします。

したがって、最小値は 44(x=1x = 1 のとき)。

相加・相乗平均で最小値を求めるときは、(1) 積が定数になるように式を整える、(2) 等号が実際に成立する xx が存在することを確認する、の2点が必須です。等号が成立しないのに「最小値」と答えるのは典型的な誤りです。

ChatGPTで質問Claudeで質問Geminiで質問
13発展

a>0a > 0b>0b > 0 のとき、不等式 a+b>a+b\sqrt{a} + \sqrt{b} > \sqrt{a+b} を証明せよ。

答え

(証明)両辺とも正なので、2乗の差 (a+b)2(a+b)2=2ab>0(\sqrt{a}+\sqrt{b})^2 - (\sqrt{a+b})^2 = 2\sqrt{ab} > 0 を示せばよい(解説参照)。

解説

根号を含む不等式は、そのままでは比較しにくいので「2乗の比較」を使います。

A>0A > 0B>0B > 0 のとき、A2>B2    A>BA^2 > B^2 \iff A > B が成り立ちます。a>0a > 0b>0b > 0 より、a+b>0\sqrt{a} + \sqrt{b} > 0 かつ a+b>0\sqrt{a+b} > 0 なので、両辺の2乗の差を調べれば十分です。

(a+b)2(a+b)2=(a+2ab+b)(a+b)=2ab(\sqrt{a} + \sqrt{b})^2 - (\sqrt{a+b})^2 = (a + 2\sqrt{ab} + b) - (a + b) = 2\sqrt{ab}

a>0a > 0b>0b > 0 より ab>0\sqrt{ab} > 0 なので

2ab>02\sqrt{ab} > 0

よって

(a+b)2>(a+b)2(\sqrt{a} + \sqrt{b})^2 > (\sqrt{a+b})^2

両辺とも正なので

a+b>a+b\sqrt{a} + \sqrt{b} > \sqrt{a+b}

が成り立ちます。

この証明で最も大事なのは「両辺が正であることを先に確認する」ことです。2乗して大小を比べてよいのは両辺が 00 以上のときだけ(3<2-3 < 2 だが (3)2>22(-3)^2 > 2^2)。答案では必ずこの一言を書きましょう。

ChatGPTで質問Claudeで質問Geminiで質問
14発展

二項定理を用いて、1011001101^{100} - 11000010000 で割り切れることを証明せよ。

答え

(証明)101100=(1+100)100101^{100} = (1+100)^{100} を二項定理で展開すると、1011001101^{100} - 1 の各項がすべて 1000010000 の倍数になる(解説参照)。

解説

101=1+100101 = 1 + 100 と見て、二項定理で展開します。

101100=(1+100)100=100C0+100C1100+100C21002++100C100100100101^{100} = (1 + 100)^{100} = {}_{100} \mathrm{C}_0 + {}_{100} \mathrm{C}_1 \cdot 100 + {}_{100} \mathrm{C}_2 \cdot 100^2 + \cdots + {}_{100} \mathrm{C}_{100} \cdot 100^{100}

各項を確認します。

100C0=1,100C1100=100×100=10000\,{}_{100} \mathrm{C}_0 = 1, \quad {}_{100} \mathrm{C}_1 \cdot 100 = 100 \times 100 = 10000

よって

1011001=10000+100C21002+100C31003++100100101^{100} - 1 = 10000 + {}_{100} \mathrm{C}_2 \cdot 100^2 + {}_{100} \mathrm{C}_3 \cdot 100^3 + \cdots + 100^{100}

ここで、r2r \ge 2 の項に含まれる 100r100^r

100r=1002100r2=10000100r2100^r = 100^2 \cdot 100^{r-2} = 10000 \cdot 100^{r-2}

と書けるので、すべて 1000010000 の倍数です。したがって

1011001=10000(1+100C2+100C3100++10098)101^{100} - 1 = 10000 \left(1 + {}_{100} \mathrm{C}_2 + {}_{100} \mathrm{C}_3 \cdot 100 + \cdots + 100^{98}\right)

カッコの中は整数なので、1011001101^{100} - 11000010000 で割り切れます。

「大きな数の累乗の余り・割り切れる問題」は、(1+)n(1 + \bigcirc)^n の形を作って二項定理で展開するのが定石です。\bigcirc の2乗以上の項は割る数の倍数としてまとめて処理できるので、実質的に最初の2〜3項だけを調べればよいことになります。

ChatGPTで質問Claudeで質問Geminiで質問