最近は台風が来たかと思えば一転して猛暑、そしたらまたも台風、と穏やかでない日が続きますね・・・。今までの暑さで身を潜めていた蚊が一斉に活発化するとの観測もあり、平成最後の夏はなかなか手強いようです(笑)。
創作整数問題#43
《問題#43》
とするとき、 と の最大公約数を求めよ。
(創作問題)
特にヒントは不要でしょうか。が非常に大きな数なので少し気押されるかもしれませんが、整式におけるユークリッドの互除法で最大公約数の候補が絞り込めれば後は簡単ですね!
創作整数問題#42(解き方)
有理数の判定は背理法で片付きます。お決まりのパターンですね。
《解答例》
が有理数であると仮定すると、互いに素な正の整数、を用いてと表すことができます。この両辺を二乗して を得ますが、右辺は有理数なので左辺も有理数となることが必要です。よって矛盾を導くためには が有理数の平方にならないことを示せばよいことになります。そこで以下の補題を示します。
(補題)
「正の整数に対して、が有理数となるのはが平方数のときに限る。」
《証明》
が有理数であるとき、互いに素な正の整数、を用いてと表せる。両辺を二乗して分母を払うととなり、はの倍数となるが、、は互いに素なので がしたがい、を得る。逆にこのときは有理数となるので必要十分である。
□
この補題より、 が有理数となるためには が平方数となることが必要となります。ここで は平方数であり、2つの異なる平方数の差がとなるものはとの組み合わせしかありませんので、有理数となるとしたら のときに限ります。そこで とすると式より、となります。は平方数ではないので、補題よりは有理数ではない数、即ち無理数となります。したがって式は不合理なので、 は有理数ではない数、即ち無理数です。
以上より、題意を示すことができました。
他にも上記のような補題を必要としない比較的ストレートな証明も考えられます。
《別解》
が有理数であると仮定すると、互いに素な正の整数、を用いてと表すことができます。ここで逆数をとると を得ますので、式、式より、と表すことができます。それぞれ辺々を二乗するととなります。左辺は整数なので右辺も整数となる必要があります。故に がおよびの倍数となることが必要ですが、とは互いに素なので、これは不可能です。
(例えば、分母はの倍数なのでは偶数となる必要がありますが、今度は分母がの倍数となるのでも偶数となる必要があり、とは互いに素なので不合理)
したがって は無理数であることが示されます。
(コメント)
他にも別解があると思いますが、いずれにせよ定石通りに背理法で片付けることができます。
以下、宣伝です。
本日、8作目となる自作模試「2018年夏の陣」を公開しました!(創作整数問題#43にそっくりな問題が出ていますが、手抜きとか言わないように(笑))
ホームページの「雑題ログ」のページから閲覧できますので、手持ち無沙汰な方や、腕試ししたいという方は是非覗いて行ってください!
お久しぶりです.
#42は, の役割がほとんどないのが気になっていました.
「
と
「
は同じであることがすぐにわかりますね.
たけちゃん さん
お久しぶりです。早速のコメントありがとうございます。
仰る通り、 は任意の正の整数値をとれるので、実質的には の場合を証明するだけで事足ります。 は単なる飾りと思って下さい(笑)。
本問の