学習環境
- 数式入力ソフト(TeX, MathML): MathType
- MathML対応ブラウザ: Firefox、Safari
- MathML非対応ブラウザ(Internet Explorer, Google Chrome...)用JavaScript Library: MathJax
集合・位相入門(松坂 和夫(著)、岩波書店)の第1章(集合と写像)、1(集合の概念)、問題3.を解いてみる。
問題3.
-
を満たす整数で、 は既約と仮定する。その時、
となり、は偶数、すなわち、は偶数である。
よって、
が成り立つ。すると、は偶数、すなわち、は偶数となる。これは、 が既約ということに反して、矛盾。
よって、 を満たす有理数は存在しない。
すべての元を明示的に示すことはできない。
0 コメント:
コメントを投稿