Xét số hữu tỉ a/b, có thể coi b > 0.

Nếu a, b cùng dấu thì a > 0 và b > 0.

Suy ra (a/b) > (0/b) = 0 tức là a/b dương.

Cho 3 **** kiểu gì nào?

a) a,b có thể là số vô tỉ. Ví dụ \(a=b=\sqrt{2}\) là vô tỉ mà ab và a/b đều hữu tỉ.

b) Trong trường hợp này \(a,b\) không là số vô tỉ (tức cả a,b đều là số hữu tỉ). Thực vậy theo giả thiết  \(a=bt\),  với \(t\) là số hữu tỉ khác \(-1\). Khi đó \(a+b=b\left(1+t\right)=s\) là số hữu tỉ, suy ra \(b=\frac{s}{1+t}\) là số hữu tỉ. Vì vậy \(a=bt\)  cũng hữu tỉ.

c) Trong trường hợp này \(a,b\)  có thể kaf số vô tỉ. Ví dụ ta lấy \(a=1-\sqrt{3},b=3+\sqrt{3}\to a,b\) vô tỉ nhưng \(a+b=4\)  là số hữu tỉ và \(a^2b^2=\left(ab\right)^2=12\)  cũng là số hữu tỉ.

a/b > 0 <=> a, b cùng dấu

a/b < 0 <=> a, b # dấu

ko bik làm thông cảm nha( OLM đừng xóa )

a) Chứng minh phản chứng: Giả sử tổng đó là số hữu tỉ

=> Số hạng vô tỉ = Số hữu tỉ - Số hữu tỉ => Số vô tỉ = Số hữu tỉ => Mâu thuẫn

Vậy tổgg só là số vô tỉ

là số vô tỉ

cô Loan viết xong không xem lại đề

Lời giải:
$x$ là số hữu tỉ khác $0$. Đặt $x=\frac{a}{b}$ với $a,b$ là số nguyên, $b\neq 0$.

Giả sử $x+y$ là số hữu tỉ. Đặt $x+y=\frac{c}{d}$ với $c,d\in\mathbb{Z}, d\neq 0$

$\Rightarrow y=\frac{c}{d}-x=\frac{c}{d}-\frac{a}{b}=\frac{bc-ad}{bd}$ là số hữu tỉ (do $bc-ad, bd\in\mathbb{Z}, bd\neq 0$)

Điều này vô lý do $y$ là số vô tỉ.

$\Rightarrow$ điều giả sử là sai. Tức là $x+y$ vô tỉ.

Hoàn toàn tương tự, $x-y$ cũng là số vô tỉ.

-------------------------------

Chứng minh $xy$ vô tỉ.

Giả sử $xy$ hữu tỉ. Đặt $xy=\frac{c}{d}$ với $c,d$ nguyên và $d\neq 0$

$\Rightarrow y=\frac{c}{d}:x=\frac{c}{d}:\frac{a}{b}=\frac{bc}{ad}\in\mathbb{Q}$

Điều này vô lý do $y\not\in Q$

$\Rightarrow$ điều giả sử là sai $\Rightarrow xy$ vô tỉ.

-------------------------------

CM $\frac{x}{y}$ vô tỉ.

Giả sử $\frac{x}{y}$ hữu tỉ. Đặt $\frac{x}{y}=\frac{c}{d}$ với $c,d$ nguyên, $d\neq 0$

$\Rightarrow y=x:\frac{c}{d}=\frac{a}{b}: \frac{c}{d}=\frac{ad}{bc}\in\mathbb{Q}$

Điều này vô lý do $y\not\in Q$

$\Rightarrow$ điều giả sử là sai. Tức là $\frac{x}{y}$ vô tỉ.