京大理系数学'12年[4]
(1)
が無理数であることを証明せよ。 (2)
は有理数を係数とするxの多項式で、
を満たしているとする。このとき
は
で割り切れることを証明せよ。
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
解答 (1),(2)とも背理法を使って証明します。なお、整数を参照してください。
(1) m,nを互いに素な自然数として、
とおけると仮定します。 3乗して分母を払うと、
これより、nは2の倍数で、kを自然数として、
とおけます。よって、
∴ 
これより、mは2の倍数となりますが、m,nがともに2の倍数となり、互いに素であることと矛盾します。よって、仮定は誤りで、
は無理数です。 (証明終)
(2)
とおくと、
を
で割ったときの商を
,余りを
とおきます。
は有理数を係数とするxの多項式なので、
も有理数を係数とする多項式であり、a,b,cは有理数です。
とすると、αをかけて、
より、
・・・@
・・・A@×b−A×aより、
・・・B
と仮定すると、この右辺は有理数なので、αが有理数となって、矛盾が生じます。よって、
Bより、
∴ 
だとすると、
,
となり、
が有理数となって矛盾します。よって、
,従って@も考慮して、
です。よって、
を
で割った余りは0で、
は
で割り切れます。 (証明終)
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
京大理系数学TOP 数学TOP TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。