√2 and √5 are proven to be irrational using proof by contradiction. It is assumed they can be written as fractions p/q, but this leads to contradictions as it would mean p and q have common factors, violating their definition as co-prime integers. Similarly, 3+2√5 is proven irrational by assuming it is a rational number p/q, but this again leads to a contradiction as it would mean √5 is rational.