Ontological proof that √2 is rational: suppose √2 has all supreme perfections. Descartes argued that actual existence is a perfection. If √2 was irrational, it would lack existence as the ratio of integers, a supreme perfection. Contradiction; therefore, God exists. I mean √2 is rational.
