cos45゜=1/ルート2=ルート2/2 は何故?