G/s căn 7 là số hữu tỉ => căn 7 viết dưới dạng phân số tói giản a/b ( trong đó UCLN (a,b) = 1)
=> căn 7 = a/b => 7 = a^2 / b^2 => 7b^2 = a^2 => a^2 chia hết cho 7 => a chia hết cho 7 (1)
DẶt a = 7t thay a =7t vào a^2 = 7b^2
=> 49 t^2 = 7b^2 => b^2 = 7 t^2 => b^2 chia hết cho 7 => b chia hết cho 7 (2)
Từ (1) và (2) => a,b có một ước chung là 7 trái với g/s UCLN (a,b) = 1
Vậy căn 7 là số vô tỉ