os=s√2となるのは何故ですか?