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ỉ.