千葉大学/2016年度
千葉大学 2016年 数学 第12問解答・解説
このページには広告が含まれます。
1問題
p を 2 でない素数とし,自然数 m,n は (m+n√p)(m−n√p)=1 を満たすとする。
(1) 互いに素な自然数の組 (x,y) で m+n√p=(x+y√p)/(x−y√p) を満たすものが存在することを示せ。
(2) x は (1) の条件を満たす自然数とする。x が p で割り切れないことと,m を p で割った余りが 1 であることが,同値であることを示せ。
まずは自分で解いてみましょう。詰まったら「考え方」、解けたら「答え」で確かめられます。
2答え
答えを見る自分の答えと照らし合わせる
- (1)d= gcd(m+1,n) として とおけば、互いに素な自然数 x,y が条件を満たす。(2)p が x を割り切らないことと m≡1 (mod p)(m の余りが1)とは同値。
数式が横に長い場合は、左右にスクロールして確認できます。
- (1) (2)
数式が横に長い場合は、左右にスクロールして確認できます。
3解答
解答を見る途中式つきの解答
とおく。 は の最大公約数だから、 は互いに素な自然数である。また ここで であり、 だから 。したがって上の等式を で割ることができ、 を得る。 を満たす互いに素な自然数 をとる。両辺を交差に掛けて実部と の係数を比べると と後者から である。 とおけば となる。さらに にこれらを代入して を得る。 であり、 は2でない素数なので、 と のちょうど一方が成り立つ。 なら であり、 より 。一方、 なら であり、 と素数の性質から 。よって すなわち が で割り切れないことと、 の による余りが1であることは同値である。
ノルム条件を因数分解し、最大公約数で約分した組を構成する。後半は素数による可除性を二場合に分ける。
この問題で使う考え方
- 最大公約数による約分
- 無理数係数比較
- 素数の合同式
PR
数学を1対1で教わるオンライン塾「数強塾」
数強塾は、中学生・高校生のための数学専門のオンライン個別指導塾です。プロ講師がマンツーマンで教え、大学受験の数学にも対応しています。入塾の前に、今の学習状況と目標を確かめる診断授業(体験・3,000円、税込)を受けられます。
「数強塾」オンライン数学克服塾〈プロ講師〉東大生と1対1で学べるオンライン個別指導「トウコベ」
トウコベは、東大生を中心に難関大学の学生が講師を務める、完全マンツーマンのオンライン個別指導です。はじめに、オンラインの説明会・勉強相談(無料)をWebで予約でき、その後にお試し授業を受けられます。
トウコベ公式サイト似た問題を、ほかの大学で
答えや解説の誤りに気づいたら、お問い合わせから教えてください。
