The given complex numbers have positive real parts, so and . Their product isBy the assumed complex argument ranges, this product also has positive real part, hence . Its complex argument is consequently , with no extra multiple of . Since multiplication adds complex arguments,This proves the arctangent addition formula under the stated branch restriction. For arbitrary real , the principal inverse tangent formula can require adding or subtracting when .
Articles by others on the same topic
There are currently no matching articles.