无需证明.
θ=kπ+arctanb/a
这是反函数的定义+正切函数的周期性决定的.