2みたいな無理数の証明は基本的に
背理法で解くのが定石だからね
eとかπは解析的に証明するのがセオリー