为什么2arctg(1/(2^0.5))=arctg(2*(2^0.5))