a の平方が有理数なら b=a の平方−a とする。これは無理数で、a+b=a の平方は有理数である。また ab=a(a の平方−1) は無理数である。a の平方−1 は a が無理数なので0でない有理数だからである。