>>80
1/√2を有理化