If r is any rational number s is any irrational number, then r/s is irrational.
true
if r/s was rational then it would be equivalent to a/b where a and b are integers (b ≠ 0)
and GCD(a,b) = 1
this means
r b = s a
r is rational as well, then r = c/d (c and d integers, d non zero)
thus
(c/d) b = s a
that is
s = b c/(a d)
which means that s is rational, in contradiction with the hypothesis
************************************
The sum of any two positive irrational numbers is irrational
false
take x = 2 + √3 and y = 2 - √3
x + y = 4
************************************
The product of any two irrational numbers is irrational
false
take the numbers of the previous example
x = 2 + √3 and y = 2 - √3
xy = 4 - 3 = 1