a) Cho a + b = c => b = c - a
hay còn gọi: b bằng số hữu tỉ cộng với số vô tỉ => b là số vô tỉ
Vậy b là số vô tỉ.
b) Nếu b = 0 thì a . b = 0 => b là số hữu tỉ
Nếu b \(\ne0\) và cho a . b = c => b = c : a
hay còn gọi: b bằng số hữu tỉ chia cho số vô tỉ => b là số vô tỉ
Vậy b là số hữu tỉ nếu b = 0; b là số vô tỉ nếu b \(\ne0\).