どもども。
今回は今年の京大入試理系数学の第4問をやります。
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon4.html
2の3乗根に関する問題です![](https://blogimg.goo.ne.jp/img_emoji/kaeru_en4.gif)
(2)は大学数学で言うところの体論のカテゴリにあたるような話です。
√2が無理数であることの証明は背理法を使ってやるとうまくいく![](https://blogimg.goo.ne.jp/img_emoji/ee_2.gif)
ということは多くの人は知っているはずなので,
きっと同じ方法で上手くいくはずだ
というわけで(1)は解法の方針を立てるのは
決して難儀ではないでしょう。(2)も背理法を使えばよいのですが,矛盾を導く過程が多少面倒であるようです。
(1)
まずは一番定番であると思われる手法で証明しましょう![](https://blogimg.goo.ne.jp/img_emoji/curry.gif)
もしも2^(1/3)が2^(1/3)=q/pと既約分数で表現できると仮定したら
矛盾が生じてしまう,だから2^(1/3)は無理数だ![](https://blogimg.goo.ne.jp/img_emoji/ee_2.gif)
![](https://blogimg.goo.ne.jp/img_emoji/kirakira.gif)
という発想ですね。
両辺を3乗することで立方根を含まない関係式が得られます。
![](https://blogimg.goo.ne.jp/user_image/6a/f8/b84e65bb81e962ed070108b60dd38b01.jpg)
2^(1/3)=q/p と,分数で表現するというところまでは覚えていたけれど
互いに素という条件を入れるのを忘れた!
みたいな部分で躓くことは考えられますね。
忘れてたとしても議論を進めてると,矛盾を導くところで気付くはずなんですが~![](https://blogimg.goo.ne.jp/img_emoji/dog_shy.gif)
無意識的にpとqは互いに素なんだっていう前提で話を進めてると気づかないこともあるかもです![](https://blogimg.goo.ne.jp/img_emoji/face2_lose_s.gif)
たとえば対偶をとって証明するとか,多少表現の仕方や式変形などに差異はあったとしても,
基本的に背理法を用いるのと同等の作業を行うことになるかと思います。
上の解法ではqは偶数だということでq=2Qと置いていました。
素因数分解を意識してq=(2^k)Q (k:自然数,Q:奇数)とおいてみたのが
次の解法(途中から)です。
2p^3=q^3の両辺の素因数分解に現われる因数2の指数を比較します。
![](https://blogimg.goo.ne.jp/user_image/0c/69/edf221f2c7191e1ab0009ac597c77727.jpg)
次も素因数分解を利用した解法パターン。
1<2^(1/3)<2より2^(1/3)は整数ではありません。よってp>1としてよいです。
ここでpが持つ素因数aに着目します![](https://blogimg.goo.ne.jp/img_emoji/panda_1.gif)
![](https://blogimg.goo.ne.jp/user_image/0c/ea/ef9ad9e1678fb133f382630b18a4c7a3.jpg)
次は今までの解法とは大きく違う部分があります。
pとqが互いに素であることを仮定しなくてもOKです![](https://blogimg.goo.ne.jp/img_emoji/hand_goo.gif)
いわゆる無限降下法ってやつです。
![](https://blogimg.goo.ne.jp/user_image/6e/bc/3eab1a99b7c122279e2a03fb0a4739ce.jpg)
{P_k}も{Q_k}も,構成の手順によれば無限列になるはずなのですが
実際はどんどん1/2倍されていくので有限回で整数でなくなってしまうんですね![](https://blogimg.goo.ne.jp/img_emoji/eto_inu.gif)
(2)
基本的には,有理数A,B,Cが A4^(1/3)+B2^(1/3)+C=0 を満たしていれば,A=B=C=0であることを証明することがメインになる問題です![](https://blogimg.goo.ne.jp/img_emoji/girl_jewel_b.gif)
整式P(x)をx^3-2で割った商をQ(x),余りをr(x)とおくと
r(x)は高々2次の多項式です。x^3-2で割り切れるということはr(x)=0を意味します。
r(x)=ax^2+bx+c (a,b,cは有理数)とおきましょう。
ここでa,b,cは有理数になることもきちんと証明しておくととても親切ですが,そこまで要求はされないでしょう![](https://blogimg.goo.ne.jp/img_emoji/rabi_love.gif)
P(x)=(x^3-2)Q(x)+r(x)にx=2^(1/3)を代入することで
r(2^(1/3))=4^(1/3)a+2^(1/3)b+c=0が得られます。
あとはa=b=c=0を示せばいいっていうわけです![](https://blogimg.goo.ne.jp/img_emoji/dog_smile.gif)
(1)のように,適当に移項して何乗かすれば両辺が有理数になればいいのですが,
なかなか厄介のようです。 4^(1/3)があるから上手くいかないのですが,これを消去するとうまくいきます![](https://blogimg.goo.ne.jp/img_emoji/light.gif)
![](https://blogimg.goo.ne.jp/user_image/42/a3/3aad8ffe5bd5266bf87e27ca80f5b82c.jpg)
![](https://blogimg.goo.ne.jp/user_image/21/7f/755b99478dec28045109120fc61b1bbc.jpg)
要は,A4^(1/3)+B2^(1/3)+C=0 型の式が2本あればいいんですね![](https://blogimg.goo.ne.jp/img_emoji/rabi_shy.gif)
1番の式に2^(1/3)を掛けて2番の式を得ていますが,他の方法でも勿論OKです。
2^(1/3)で割るとか,4^(1/3)を掛けるとか。
下の解法では両辺を2乗して2本目の式を得ています。
![](https://blogimg.goo.ne.jp/user_image/0e/05/db8bb671a6dfa09e8eada650448ad8a2.jpg)
次は,まず冒頭で有理数A,B,Cが A4^(1/3)+B2^(1/3)+C=0 を満たしていれば,A=B=C=0であることを上記の方法などで証明してあるものとして,それを利用するという方針です。
まず整式P(x)を3つの整式の和 P(x)=P_1(x)+P_2(x)+P_3(x) に分けます。
P_1(x)は次数が3の倍数である項だけを集めてきた整式,
P_2(x)は次数が(3の倍数)+1の形である項だけを集めてきた整式,
P_3(x)は次数が(3の倍数)+2の形である項だけを集めてきた整式とします。
このように分けるのは,P_1(2^(1/3))は有理数,P_2(2^(1/3))は有理数×(2^(1/3)),
P_3(2^(1/3))は有理数×(4^(1/3))という形になるからです![](https://blogimg.goo.ne.jp/img_emoji/dog_angry.gif)
![](https://blogimg.goo.ne.jp/user_image/33/cc/05e8c387e212aa7c16056ba696e61dff.jpg)
ここで, A^k-B^k の因数分解を利用すると x^(3k)-2^k が x^3-2 で割り切れることに着目します。
![](https://blogimg.goo.ne.jp/user_image/64/ef/c884277e08763c2a72aa71007c765b97.jpg)
これを利用してP(x)が x^3-2 を因数に持つことを直接導きます![](https://blogimg.goo.ne.jp/img_emoji/m_0237.gif)
![](https://blogimg.goo.ne.jp/user_image/36/f4/082a1d44d60899d9b876a85389129298.jpg)
次も似たような解法です。同じようにP(x)をP_1(x),P_2(x),P_3(x)に分けて,
それぞれを x^3-2 で割ったときの商と余りを直接求めます。
このときの余りがP(2^(1/3))=0の条件の下では必ず0になってしまうことを示すというやり方です![](https://blogimg.goo.ne.jp/img_emoji/dog_shy.gif)
![](https://blogimg.goo.ne.jp/user_image/2f/fb/703eeda1f80f6d9147f1ca6a9c4f63de.jpg)
![](https://blogimg.goo.ne.jp/user_image/39/e5/a405631d7cc685902748966c30e18297.jpg)
実際に筆算してみることで商と余りの形は類推することができます。
ここでは直接掛け算してその類推が正しいことを確かめてます。
![](https://blogimg.goo.ne.jp/user_image/02/52/61f423ebc7285438a5701f194d5905e5.jpg)
![](https://blogimg.goo.ne.jp/user_image/71/c3/6c5855cbef5b4e671d389db87ea2f69d.jpg)
後半の式の証明はメンドクサイので割愛しました![](https://blogimg.goo.ne.jp/img_emoji/rabi_happy.gif)
ケアレスミスが混じってたらスンマセン![](https://blogimg.goo.ne.jp/img_emoji/star.gif)
あとはこれら3つの余りが0であることを言いましょう。
![](https://blogimg.goo.ne.jp/user_image/65/20/d561bdbbe93dbceb73ed6610c4b62e90.jpg)
最後に,A4^(1/3)+B2^(1/3)+C=0 型の式の解析を用いない方法で
証明して終わります![](https://blogimg.goo.ne.jp/img_emoji/kiraneko.gif)
![](https://blogimg.goo.ne.jp/user_image/70/f1/2a1801c6d95c3e0ac033af1d8d83e348.jpg)
今回は今年の京大入試理系数学の第4問をやります。
問題はこちら
http://www.yozemi.ac.jp/nyushi/sokuho/recent/kyoto/zenki/sugaku_ri/mon4.html
2の3乗根に関する問題です
![](https://blogimg.goo.ne.jp/img_emoji/kaeru_en4.gif)
(2)は大学数学で言うところの体論のカテゴリにあたるような話です。
√2が無理数であることの証明は背理法を使ってやるとうまくいく
![](https://blogimg.goo.ne.jp/img_emoji/ee_2.gif)
ということは多くの人は知っているはずなので,
きっと同じ方法で上手くいくはずだ
![](https://blogimg.goo.ne.jp/img_emoji/rabi_smile.gif)
決して難儀ではないでしょう。(2)も背理法を使えばよいのですが,矛盾を導く過程が多少面倒であるようです。
![](https://blogimg.goo.ne.jp/img_emoji/heart_orange.gif)
まずは一番定番であると思われる手法で証明しましょう
![](https://blogimg.goo.ne.jp/img_emoji/curry.gif)
もしも2^(1/3)が2^(1/3)=q/pと既約分数で表現できると仮定したら
矛盾が生じてしまう,だから2^(1/3)は無理数だ
![](https://blogimg.goo.ne.jp/img_emoji/ee_2.gif)
![](https://blogimg.goo.ne.jp/img_emoji/kirakira.gif)
という発想ですね。
両辺を3乗することで立方根を含まない関係式が得られます。
![](https://blogimg.goo.ne.jp/user_image/6a/f8/b84e65bb81e962ed070108b60dd38b01.jpg)
2^(1/3)=q/p と,分数で表現するというところまでは覚えていたけれど
互いに素という条件を入れるのを忘れた!
みたいな部分で躓くことは考えられますね。
忘れてたとしても議論を進めてると,矛盾を導くところで気付くはずなんですが~
![](https://blogimg.goo.ne.jp/img_emoji/dog_shy.gif)
無意識的にpとqは互いに素なんだっていう前提で話を進めてると気づかないこともあるかもです
![](https://blogimg.goo.ne.jp/img_emoji/face2_lose_s.gif)
たとえば対偶をとって証明するとか,多少表現の仕方や式変形などに差異はあったとしても,
基本的に背理法を用いるのと同等の作業を行うことになるかと思います。
上の解法ではqは偶数だということでq=2Qと置いていました。
素因数分解を意識してq=(2^k)Q (k:自然数,Q:奇数)とおいてみたのが
次の解法(途中から)です。
2p^3=q^3の両辺の素因数分解に現われる因数2の指数を比較します。
![](https://blogimg.goo.ne.jp/user_image/0c/69/edf221f2c7191e1ab0009ac597c77727.jpg)
次も素因数分解を利用した解法パターン。
1<2^(1/3)<2より2^(1/3)は整数ではありません。よってp>1としてよいです。
ここでpが持つ素因数aに着目します
![](https://blogimg.goo.ne.jp/img_emoji/panda_1.gif)
![](https://blogimg.goo.ne.jp/user_image/0c/ea/ef9ad9e1678fb133f382630b18a4c7a3.jpg)
次は今までの解法とは大きく違う部分があります。
pとqが互いに素であることを仮定しなくてもOKです
![](https://blogimg.goo.ne.jp/img_emoji/hand_goo.gif)
いわゆる無限降下法ってやつです。
![](https://blogimg.goo.ne.jp/user_image/6e/bc/3eab1a99b7c122279e2a03fb0a4739ce.jpg)
{P_k}も{Q_k}も,構成の手順によれば無限列になるはずなのですが
実際はどんどん1/2倍されていくので有限回で整数でなくなってしまうんですね
![](https://blogimg.goo.ne.jp/img_emoji/eto_inu.gif)
![](https://blogimg.goo.ne.jp/img_emoji/heart_orange.gif)
基本的には,有理数A,B,Cが A4^(1/3)+B2^(1/3)+C=0 を満たしていれば,A=B=C=0であることを証明することがメインになる問題です
![](https://blogimg.goo.ne.jp/img_emoji/girl_jewel_b.gif)
整式P(x)をx^3-2で割った商をQ(x),余りをr(x)とおくと
r(x)は高々2次の多項式です。x^3-2で割り切れるということはr(x)=0を意味します。
r(x)=ax^2+bx+c (a,b,cは有理数)とおきましょう。
ここでa,b,cは有理数になることもきちんと証明しておくととても親切ですが,そこまで要求はされないでしょう
![](https://blogimg.goo.ne.jp/img_emoji/rabi_love.gif)
P(x)=(x^3-2)Q(x)+r(x)にx=2^(1/3)を代入することで
r(2^(1/3))=4^(1/3)a+2^(1/3)b+c=0が得られます。
あとはa=b=c=0を示せばいいっていうわけです
![](https://blogimg.goo.ne.jp/img_emoji/dog_smile.gif)
(1)のように,適当に移項して何乗かすれば両辺が有理数になればいいのですが,
なかなか厄介のようです。 4^(1/3)があるから上手くいかないのですが,これを消去するとうまくいきます
![](https://blogimg.goo.ne.jp/img_emoji/light.gif)
![](https://blogimg.goo.ne.jp/user_image/42/a3/3aad8ffe5bd5266bf87e27ca80f5b82c.jpg)
![](https://blogimg.goo.ne.jp/user_image/21/7f/755b99478dec28045109120fc61b1bbc.jpg)
要は,A4^(1/3)+B2^(1/3)+C=0 型の式が2本あればいいんですね
![](https://blogimg.goo.ne.jp/img_emoji/rabi_shy.gif)
1番の式に2^(1/3)を掛けて2番の式を得ていますが,他の方法でも勿論OKです。
2^(1/3)で割るとか,4^(1/3)を掛けるとか。
下の解法では両辺を2乗して2本目の式を得ています。
![](https://blogimg.goo.ne.jp/user_image/0e/05/db8bb671a6dfa09e8eada650448ad8a2.jpg)
次は,まず冒頭で有理数A,B,Cが A4^(1/3)+B2^(1/3)+C=0 を満たしていれば,A=B=C=0であることを上記の方法などで証明してあるものとして,それを利用するという方針です。
まず整式P(x)を3つの整式の和 P(x)=P_1(x)+P_2(x)+P_3(x) に分けます。
P_1(x)は次数が3の倍数である項だけを集めてきた整式,
P_2(x)は次数が(3の倍数)+1の形である項だけを集めてきた整式,
P_3(x)は次数が(3の倍数)+2の形である項だけを集めてきた整式とします。
このように分けるのは,P_1(2^(1/3))は有理数,P_2(2^(1/3))は有理数×(2^(1/3)),
P_3(2^(1/3))は有理数×(4^(1/3))という形になるからです
![](https://blogimg.goo.ne.jp/img_emoji/dog_angry.gif)
![](https://blogimg.goo.ne.jp/user_image/33/cc/05e8c387e212aa7c16056ba696e61dff.jpg)
ここで, A^k-B^k の因数分解を利用すると x^(3k)-2^k が x^3-2 で割り切れることに着目します。
![](https://blogimg.goo.ne.jp/user_image/64/ef/c884277e08763c2a72aa71007c765b97.jpg)
これを利用してP(x)が x^3-2 を因数に持つことを直接導きます
![](https://blogimg.goo.ne.jp/img_emoji/m_0237.gif)
![](https://blogimg.goo.ne.jp/user_image/36/f4/082a1d44d60899d9b876a85389129298.jpg)
次も似たような解法です。同じようにP(x)をP_1(x),P_2(x),P_3(x)に分けて,
それぞれを x^3-2 で割ったときの商と余りを直接求めます。
このときの余りがP(2^(1/3))=0の条件の下では必ず0になってしまうことを示すというやり方です
![](https://blogimg.goo.ne.jp/img_emoji/dog_shy.gif)
![](https://blogimg.goo.ne.jp/user_image/2f/fb/703eeda1f80f6d9147f1ca6a9c4f63de.jpg)
![](https://blogimg.goo.ne.jp/user_image/39/e5/a405631d7cc685902748966c30e18297.jpg)
実際に筆算してみることで商と余りの形は類推することができます。
ここでは直接掛け算してその類推が正しいことを確かめてます。
![](https://blogimg.goo.ne.jp/user_image/02/52/61f423ebc7285438a5701f194d5905e5.jpg)
![](https://blogimg.goo.ne.jp/user_image/71/c3/6c5855cbef5b4e671d389db87ea2f69d.jpg)
後半の式の証明はメンドクサイので割愛しました
![](https://blogimg.goo.ne.jp/img_emoji/rabi_happy.gif)
ケアレスミスが混じってたらスンマセン
![](https://blogimg.goo.ne.jp/img_emoji/star.gif)
あとはこれら3つの余りが0であることを言いましょう。
![](https://blogimg.goo.ne.jp/user_image/65/20/d561bdbbe93dbceb73ed6610c4b62e90.jpg)
最後に,A4^(1/3)+B2^(1/3)+C=0 型の式の解析を用いない方法で
証明して終わります
![](https://blogimg.goo.ne.jp/img_emoji/kiraneko.gif)
![](https://blogimg.goo.ne.jp/user_image/70/f1/2a1801c6d95c3e0ac033af1d8d83e348.jpg)
![](https://blogimg.goo.ne.jp/user_image/5d/e2/cc5e658d0ccd66adcba17d3e78491e69.jpg)
※コメント投稿者のブログIDはブログ作成者のみに通知されます