证明根号2为无理数的方法

  • 格式:doc
  • 大小:87.00 KB
  • 文档页数:1

试证明2是无理数.
证明:易知2是方程022x的一个根,设它有有理根,ab即)0(2aab
先证明一个引理:若整系数方程:0...02211aaxxaxaxannnn )0(0aan

有有理根pq0(pq且qp,互质),则有:
pa
n
,qa0.

证明:把pqx代入原方程,得:

0...02211apqapqapqapqa
nnn
n
,两边同乘np,得:

.00...0122211nnnnnnnnppaaqppqapqaqa
那么,由于0p,所以一定有0p,那么一定有:
....0122211nnnnnnnpaaqppqapqaqap


由于nppp,...,,2都满足被p整除,那么有:nnqap,又因1),(qp,所以有:
.nap
同理,由于0q,所以一定有0q,那么一定有:
....0122211nnnnnnnpaaqppqapqaqaq


由于nqqq,...,,2都满足被q整除,那么有:npaq0,又因1),(qp,所以有:

qa
0
.

回到原命题,由于0)2(1,1)2,1(,所以方程022x的有理根ab满足:
1a ,2b
.22,1abba
经检验,2都不是方程022x的根,那么022x无有理根,即2为无理数.
...DEQ