Let be a rational number whose square is 2, where we assume that
is in lowest terms, i.e.
and
have no common integer factors except
(integers relatively prime).
Then ,
and
is even. From Prove that the square of any odd integer is odd,
is even if
if
were odd,
would be odd. Thus
.
Substituting in
yields
, so that
is even and q is even too.
Thus and
have the common factor 2, contradicting the original assumption that they had no common factors other than
. By virtue of this contradiction there can be no rational number whose square is 2.
Dịch
Bài toán: Chứng minh rằng không có số hửu tỉ nào có bình phương bằng 2 (tức là không phải số hửu tỉ)
Giải:
Bài này chứng minh bằng phản chứng.
Giả sử có số hửu tỉ mà bình phương bằng 2, tức là số đó có dạng , và đây là phân số tối giản (nghĩa là
và
không có ước chung).
Khi đó,
. (1)
Theo đó, là số chẵn.
Theo bài chứng minh Prove that the square of any odd integer is odd đã đăng trước đây, cũng phải là số chẵn.
Vậy phải có dạng
. (2)
Thế (2) vào (1), ta được: .
.
Suy ra cũng là số chẵn, và
cũng là số chẵn.
Vậy và
có ước chung là 2, vì đều là số chẵn.
Điều này trái với giả thuyết ban đầu là phân số tối giản.
Vậy, không có số hửu tỉ nào có bình phương bằng 2.