Gọi a là số vô tỉ, b là số hữu tỉ khác 0.
Tích ab là số vô tỉ vì nếu ab = b' là số hữu tỉ thì a = b'/b là thương của hai số hữu tỉ
suy ra a là số hữu tỉ, mâu thuẫn với a là số vô tỉ.
Vậy tích của một số vô tỉ và một số hữu tỉ khác 0 là một số vô tỉ.