Which pair of complex numbers has a real number product? So you might have noticed that sometimes the result slips right back onto the real line, and other times it stays stubbornly complex. But it’s a question that pops up when you’re messing around with algebra, trying to see how the imaginary parts behave when you multiply. Figuring out exactly when that happens isn’t just a neat trick—it shows up in signal processing, control theory, and even when you’re trying to simplify fractions with radicals in the denominator.
What Does It Mean for a Pair of Complex Numbers to Have a Real Product?
A complex number is usually written as (a + bi), where (a) and (b) are real numbers and (i) is the imaginary unit with the property (i^2 = -1). When you multiply two of them, say ((a + bi)(c + di)), you distribute just like with binomials:
[ (a + bi)(c + di) = ac + adi + bci + bdi^2. ]
Since (i^2 = -1), the last term becomes (-bd). Collecting the real and imaginary pieces gives:
[ \text{Real part: } ac - bd \ \text{Imaginary part: } ad + bc. ]
For the product to be a real number, the imaginary part must vanish. That gives the simple condition:
[ ad + bc = 0. ]
In words: the cross‑terms have to cancel each other out. If you think of each complex number as a point or a vector in the plane, this condition says that the slope of one number’s imaginary‑to‑real ratio is the negative reciprocal of the other’s, scaled appropriately. Another way to see it is to notice that if one number is a real scalar multiple of the complex conjugate of the other, the product is automatically real. Indeed, let (z_1 = a + bi) and choose (z_2 = k(a - bi)) where (k) is any real number.
[ z_1 z_2 = k(a + bi)(a - bi) = k(a^2 + b^2), ]
which is clearly real because (a^2 + b^2) is real and (k) is real. The zero case also works: if either number is zero, the product is zero—a real number.
Why It Matters / Why People Care
You might wonder why anyone would spend time worrying about when a product lands on the real axis. The answer shows up in a handful of practical places. No workaround needed.
First, when you’re rationalizing denominators that contain complex numbers, you multiply numerator and denominator by the conjugate of the denominator. That trick works precisely because the product of a complex number and its conjugate is real, turning a messy fraction into something you can simplify.
Second, in electrical engineering, impedances are often expressed as complex numbers. When you calculate power, you need the real part of the product of voltage and the conjugate of current. Knowing which pairs give a real result helps you spot when you’ve accidentally omitted a conjugate.
Third, in control systems, the location of poles and zeros in the complex plane determines stability. Multiplying transfer functions sometimes leads to cancellations that only happen when certain conjugate pairs appear, ensuring the resulting characteristic polynomial has real coefficients—a requirement for physical systems.
Finally, from a pure math perspective, the condition (ad + bc = 0) describes a family of lines through the origin in the four‑dimensional space of ((a,b,c,d)). Visualizing that relationship deepens your intuition about how complex numbers interact under multiplication, which is a stepping stone to more advanced topics like complex analysis and group theory.
How It Works (or How to Do It)
Understanding the condition is one thing; applying it is another. Below are several ways to think about and generate pairs that satisfy the rule.
Using the Conjugate Trick
The most straightforward method is to take any complex number (z = x + yi) and pair it with a real multiple of its conjugate (\overline{z} = x - yi). Pick any real number (k) (including 1, -1, 2, 0.5, etc.
If you found this helpful, you might also enjoy when water is heated what happens to its density or how to make zinc copper couple.
[ (z,; k\overline{z}) = (x + yi,; k(x - yi)). ]
Their product is (k(x^2 + y^2)), a real number. This works for every possible (z) and every real (k).
When Both Numbers Are Purely Imaginary
If you set the real parts to zero, you get numbers of the form (0 + bi) and (0 + di). Their product is:
[ (bi)(di) = -bd, ]
which is real because there’s no imaginary term left. So any two purely imaginary numbers also satisfy the condition—notice that this is actually a special case of the conjugate rule where the real parts are zero and the conjugate of (bi) is (-bi); choosing (k = -d/b) (provided (b \neq 0)) reproduces the pair.
When One Number Is Zero
Zero times anything is zero, and zero is real. So the pair ((0,; w)) for any complex number (w) trivially yields a real product. This edge case is often overlooked but worth mentioning because it satisfies the condition without any fancy algebra.
Solving the Cross‑Term Equation Directly
If you prefer to work with the equation (ad + bc = 0), you can treat it as a
a linear constraint. Fix any three of the four variables—say (a), (b), and (c)—and the fourth is forced:
[ d = -\frac{bc}{a} \quad (a \neq 0). ]
If (a = 0), the equation reduces to (bc = 0), meaning either (b = 0) (the first number is zero) or (c = 0) (the second number is real). This algebraic view makes it easy to generate examples on the fly: choose (z_1 = 3 + 4i) and decide you want the real part of (z_2) to be (c = 5). Then (d = -(4 \cdot 5)/3 = -20/3), giving (z_2 = 5 - \frac{20}{3}i). Multiply them out and the imaginary part vanishes, leaving (3 \cdot 5 + 4 \cdot \frac{20}{3} = 15 + \frac{80}{3} = \frac{125}{3}).
Geometric Interpretation
There is a clean geometric picture behind the algebra. Write the two numbers in polar form: (z_1 = r_1 e^{i\theta_1}) and (z_2 = r_2 e^{i\theta_2}). Their product is (r_1 r_2 e^{i(\theta_1 + \theta_2)}).
[ \theta_1 + \theta_2 = k\pi, \quad k \in \mathbb{Z}. ]
Simply put, the two vectors must be symmetric with respect to the real axis (when (k) is even) or the origin (when (k) is odd). The conjugate trick (z_2 = k\overline{z_1}) corresponds exactly to (\theta_2 = -\theta_1) (or (\pi - \theta_1) if (k < 0)), satisfying the angle condition automatically.
Common Pitfalls
A frequent mistake is assuming that only* conjugates work. Practically speaking, as shown above, any real scalar multiple of a conjugate works, as do pairs of purely imaginary numbers, pairs where one factor is real, and the trivial zero case. Another trap is forgetting that the condition applies to the product*, not the sum: (z + \overline{z}) is always real, but (z \cdot \overline{z}) is real and non‑negative—a distinction that matters when calculating power or intensity.
Conclusion
The deceptively simple question—when does the product of two complex numbers lose its imaginary part—opens a door to a surprisingly rich landscape. On top of that, we have seen that the algebraic condition (ad + bc = 0) is equivalent to a geometric alignment of angles, a practical recipe using conjugates, and a structural requirement for real‑valued polynomials in engineering. Whether you are debugging a circuit simulation, designing a filter, or exploring the foundations of complex analysis, recognizing these pairs on sight turns a potential algebraic slog into an immediate insight. The next time you see an imaginary term stubbornly refusing to cancel, check the angles: you are likely just one conjugate away from the real line.
