京都府立医科大学/2025年度/前期
1京都府立医科大学 2025年 数学 第1問解答・解説
1問題
京都府立医科大学2025年度第1問
以下の問いに答えよ。
(1) 自然数 に対して、 は5の倍数でないことを証明せよ。
(2) 自然数 は等式
を満たすとする。このとき、 は70の倍数であることを証明せよ。
(3) のとき、(2)の等式 を満たす自然数の組 をすべて求めよ。
(1) 自然数 に対して、 は5の倍数でないことを証明せよ。
(2) 自然数 は等式
を満たすとする。このとき、 は70の倍数であることを証明せよ。
(3) のとき、(2)の等式 を満たす自然数の組 をすべて求めよ。
まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。
タイマー
15:00
2答え
答えを見る自分の答えと照らし合わせる
3解答
解答を見る途中式つきの解答
解答
(1) を で割った余りは のいずれかである。したがって
のいずれかとなり、余りは にならない。よって は の倍数ではない。
(2) 左辺を展開すると
等式 を用いれば、これは に等しい。よって の倍数である。
(3) (2)の恒等式より、 を満たすことと
とは同値である。積が の倍数である。 (1)より は の倍数でないから、 は の倍数である。よって 。また は奇数なので、積が偶数となるには が偶数でなければならず、 は奇数である。したがって ( は 以上の整数)と書ける。
さらに なのでこれは の倍数ではない。ゆえに が の倍数であり、
から 、すなわち である。
より積は 。一方 だから であり、 である。よって 、したがって 。条件 を満たす正の整数は だけである。
とすると である。 のとき
したがって 。条件 より で、。 のとき
ゆえに となり、 から のみである。このとき 。以上より、(m,n,k) の組は (1,5,10)、(1,15,31)、(6,5,50) の 3 組であり、いずれも積が となるため (E) を満たす。
のいずれかとなり、余りは にならない。よって は の倍数ではない。
(2) 左辺を展開すると
等式 を用いれば、これは に等しい。よって の倍数である。
(3) (2)の恒等式より、 を満たすことと
とは同値である。積が の倍数である。 (1)より は の倍数でないから、 は の倍数である。よって 。また は奇数なので、積が偶数となるには が偶数でなければならず、 は奇数である。したがって ( は 以上の整数)と書ける。
さらに なのでこれは の倍数ではない。ゆえに が の倍数であり、
から 、すなわち である。
より積は 。一方 だから であり、 である。よって 、したがって 。条件 を満たす正の整数は だけである。
とすると である。 のとき
したがって 。条件 より で、。 のとき
ゆえに となり、 から のみである。このとき 。以上より、(m,n,k) の組は (1,5,10)、(1,15,31)、(6,5,50) の 3 組であり、いずれも積が となるため (E) を満たす。
読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。
この問題で使う考え方
- 約数・倍数
- 対偶・背理法による証明
答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。
京都府立医科大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

