Let assume that on the contrary that 3−√5 is rational. Then, there exist co-prime positive integers a and b such that,
3−√5=ab
⇒3−ab=√5
⇒3b−ab=√5
⇒√5 is rational
[∵ ab, b are integer ∴3b−ab is a rational number]
This contradicts the fact that √5 is irrational
Hence, 3−√5 is an irrational number