MathCastle
Proof WritingHardContrapositive and Contradiction

Contrapositive and Contradiction · Hard problem

To prove 3+5\sqrt3 + \sqrt5 is irrational, suppose 3+5=t\sqrt3 + \sqrt5 = t with tt rational. Squaring gives 15=t2−c2\sqrt{15} = \dfrac{t^2 - c}{2}. What is cc?