giả sử [tex]\sqrt{2}[/tex] là số hữu tỉ
ta có [tex]\sqrt{2}[/tex]=[tex]\frac{m}{n}[/tex] (m,n [tex]\epsilon[/tex] N[tex]\ast[/tex], (m,n)=1 )
=>[tex]2n^{2}=m^{2}[/tex]
=>[tex]m^{2}[/tex] chia hết 2
=>m chia hết 2 (1)
=>[tex]m^{2}[/tex] chia hết 4
=>[tex]2n^{2}[/tex] chia hết 4
=> [tex]n^{2}[/tex] chia hết 2
=> n chia hết 2 (2)
Từ (1) và (2) suy ra ( vô lí) ( (m,n)=1)
vậy [tex]\sqrt{2}[/tex] là số vô tỉ.
tương tự với [tex]\sqrt{3}[/tex]