Giả sử rằng  là một số hữu tỉ. Điều đó có nghĩa là tồn tại hai số nguyên a và b sao cho a /b = .Như vậy  có thể được viết dưới dạng một phân số tối giản (phân số không thể rút gọnđược nữa): a / b với a, b là hai số nguyên tố cùng nhau và (a / b)² = 2.Từ (2) suy ra a² / b² = 2 và a² = 2 b².Khi đó a² là số chẵn vì nó bằng 2 b² (hiển nhiên là số chẵn)Từ đó suy ra a phải là số chẵn vì a² là số chính phương chẵn (số chính phương lẻ có căn bậc hai là số lẻ, số chính phương chẵn có căn bậc hai là số chẵn).Vì a là số chẵn, nên tồn tại một số k thỏa mãn: a = 2k.Thay (6) vào (3) ta có: (2k)² = 2b²  4k² = 2b²  2k² = b².Vì 2k² = b² mà 2k² là số chẵn nên b² là số chẵn, điều này suy ra b cũng là số chẵn (lí luận tương tự như (5).Từ (5) và (8) ta có: a và b đều là các số chẵn, điều này mâu thuẫn với giả thiết a / b là phân số tối giản ở (2).

Từ mâu thuẫn trên suy ra: thừa nhận  là một số hữu tỉ là sai và phải kết luận  là số vô tỉ.

Cách chứng minh trên có thể được tổng quát hóa để chứng rằng: "căn bậc hai của một số tự nhiên bất kì hoặc là một số nguyên hoặc là một số vô tỉ."

Giả sử rằng  là một số hữu tỉ. Điều đó có nghĩa là tồn tại hai số nguyên a và b sao cho a /b = .Như vậy  có thể được viết dưới dạng một phân số tối giản (phân số không thể rút gọnđược nữa): a / b với a, b là hai số nguyên tố cùng nhau và (a / b)² = 2.Từ (2) suy ra a² / b² = 2 và a² = 2 b².Khi đó a² là số chẵn vì nó bằng 2 b² (hiển nhiên là số chẵn)Từ đó suy ra a phải là số chẵn vì a² là số chính phương chẵn (số chính phương lẻ có căn bậc hai là số lẻ, số chính phương chẵn có căn bậc hai là số chẵn).Vì a là số chẵn, nên tồn tại một số k thỏa mãn: a = 2k.Thay (6) vào (3) ta có: (2k)² = 2b²  4k² = 2b²  2k² = b².Vì 2k² = b² mà 2k² là số chẵn nên b² là số chẵn, điều này suy ra b cũng là số chẵn (lí luận tương tự như (5).Từ (5) và (8) ta có: a và b đều là các số chẵn, điều này mâu thuẫn với giả thiết a / b là phân số tối giản ở (2).

Từ mâu thuẫn trên suy ra: thừa nhận  là một số hữu tỉ là sai và phải kết luận  là số vô tỉ.

Cách chứng minh trên có thể được tổng quát hóa để chứng rằng: "căn bậc hai của một số tự nhiên bất kì hoặc là một số nguyên hoặc là một số vô tỉ."

tích mik nha

Cho tam giác ABC vuông tại A,đường cao AH.Gọi E,F lần lượt là trung điểm AHvà BH,CE cắt AF tại I. Chứng minh AF vuông góc với CE

Giả sứ căn 2 là số hữu tỉ=> căn 2 có thể viết dưới dạng m/n.(phân số m/n tối giản hay m,n nguyên tố cùng nhau) 
=>(m/n)^2=2 
=>m^2=2n^2 
=>m^2 chia hết cho 2 
=>m chia hết cho 2 
Đặt m=2k (k thuộc Z) 
=>(2k)^2=2n^2 
=>2k^2=n^2 
=> n^2 chia hết cho 2 
=> n chia hết cho 2. 
Vậy m,n cùng chia hết cho 2 nên chúng không nguyên tố cùng nhau 
=> Điều đã giả sử là sai => căn 2 là số vô tỉ.

sai rồi bạn ơi mik làm đc rồi

Lời giải:
Giả sử $\sqrt{7}\in\mathbb{Q}$. Đặt $\sqrt{7}=\frac{a}{b}$ với $a,b$ nguyên, $b\neq 0$, $(a,b)=1$.

Ta có:

$7=\frac{a^2}{b^2}$

$\Rightarrow a^2=7b^2\vdots 7\Rightarow a\vdots 7\Rightarrow a^2\vdots 49$

$\Rightarrow 7b^2=a^2\vdots 49\Rightarrow b^2\vdots 7$

$\Rightarrow b\vdots 7$

Vậy $7=ƯC(a,b)$ (trái với điều kiện $(a,b)=1$)

Do đó điều giả sử là sai. Tức là $\sqrt{7}$ là số vô tỉ.