√2は無理数である。
【日高式証明】√2=m/nとおく。（m,nは自然数）
両辺を二乗して2=m^2/n^2。2/1=m^2/n^2。1=n^2なのでn=1。
m^2=2をみたす自然数mは存在しない。