Grade

Subject

Type of questions

Mathematics Undergraduate

数学青チャ1A例題59から 赤枠部分について、なぜ正の公約数を持つと有理数でないといえるのでしょうか? また、それをなぜ分数の形にするのでしょうか?

あり ない ない 基本 例題 59 √7 が無理数であることの証明 00000 √7 は無理数であることを証明せよ。ただしnを自然数とするとき, nが7の 倍数ならば, nは7の倍数であることを用いてよいものとする。 [ 類 九州大 ] 指針 無理数であることを直接証明することは難しい。 そこで, 前ページの例題と同様 直接がだめなら間接で 背理法 基本 58 4 解答 に従い 「無理数である」 = 「有理数でない」を,背理法で証明する。 つまり、√7 が有理数(すなわち 既約分数で表される)と仮定して矛盾を導く。・・・・・・・・・ [補足] 2つの自然数α, bが1以外に公約数をもたないとき, αとは互いに素である (数学 A 参照)といい, このときは既約分数である。 して る。 √7 が無理数でないと仮定すると, 1以外に正の公約数をもた ない自然数 α, b を用いて7 と表される。 a √7 は実数であり、無理 b このとき 両辺を2乗すると a=√76を用いて a2=762 ① でないと仮定しているか 有理数である。 この両辺を2乗すると よって, αは7の倍数であるから, a も 7の倍数である。 例題の「ただし書き」を いている。 ゆえに, cを自然数として, α = 7c と表される。 a2=49c2 ① ② から 762=49c2 すなわち 627c2d ② よって, 62 は7の倍数であるから, 6も7の倍数である。 ゆえに α ともは公約数7をもつ。 これも「ただし書き る。 これはaとbが1以外に公約数をもたないことに矛盾する。 したがって√7 は無理数である。

Solved Answers: 1
Mathematics Undergraduate

写真のページ中程の 「f(x1)=μとなるx1がなかったならば、supの定義から、〈μとf(z)の不等式〉となるZnが[a,b]の中に存在することになる」 とは、 「値がμであるfはなく、supWに[a,b]側から限りなく近いところで無限にfがあるなかで、μ-1/n > f... Read More

7一7⑬ とはで 決ま Eiにより, (る) は [6, ] で有界なこ6 したがって背理 でとる値の集 を Pとする: = げ(@) le[e が) いま示したことから 叶は有界な集合である・ したがって ァーsnup P。 ッーinf を考えることができるもし, げ(?) んとなる [eg,5] が存在すれば, ょは の最大値となり, その最大値をとる点が, ちょ うどゃ= というこ とになる・ レたがって, とのようなるが存在 しないとして予盾 がなかったならば, Sup の が導かれれば, 結局, 最 天値の存在がいえたことになる・ア(のj) ニムとなる の 定義から> 4ーよ<7@) ⑦⑭=12.…) 請寺の=12…) が [2,2] の中に存在することになる・ 』ーザ7(?) 0 だが 5 2 メーア(?) は衣[2 で連続な関数である. しかし ア(Z。) ーーブGy と? (ヵ=1, 2,…) 衣計ZZは [22] で有界でない. これは前頁で証明したことに盾する・ 隊小値?が存在することも同様にして示すことができる・ 一般の区間での連続関数 6下に述べた定理で, 閉区間 [2,2] の仮定は, 本質的である』 KOH) で考えると, 関数

Solved Answers: 1
1/2