log(2)√2/2=几,不化简,留根号