>>1
無理だろ。
そもそもC言語もVBもmathematicaも、√2の計算すら
どうせどっかで四捨五入してるんだろ？
じゃないと永久に表示できないからな。
定理の証明に四捨五入なんてしたことないぞ、おれは。