Skip to main content
Back to Complex Numbers
JEE Main 2024
Complex Numbers
Complex Numbers
Hard

Question

Consider the following two statements : Statement I: For any two non-zero complex numbers z1,z2,(z1+z2)z1z1+z2z22(z1+z2), and z_1, z_2,(|z_1|+|z_2|)\left|\frac{z_1}{\left|z_1\right|}+\frac{z_2}{\left|z_2\right|}\right| \leq 2\left(\left|z_1\right|+\left|z_2\right|\right) \text {, and } Statement II : If x,y,zx, y, z are three distinct complex numbers and a,b,c\mathrm{a}, \mathrm{b}, \mathrm{c} are three positive real numbers such that ayz=bzx=cxy\frac{\mathrm{a}}{|y-z|}=\frac{\mathrm{b}}{|z-x|}=\frac{\mathrm{c}}{|x-y|}, then a2yz+b2zx+c2xy=1\frac{\mathrm{a}^2}{y-z}+\frac{\mathrm{b}^2}{z-x}+\frac{\mathrm{c}^2}{x-y}=1. Between the above two statements,

Options

Solution

Key Concepts and Formulas

  • Triangle Inequality: For complex numbers z1z_1 and z2z_2, z1+z2z1+z2|z_1 + z_2| \leq |z_1| + |z_2|.
  • Modulus and Conjugate: For a complex number zz, z2=zzˉ|z|^2 = z\bar{z}, where zˉ\bar{z} is the complex conjugate of zz. Also, z1z2=z1ˉz2ˉ\overline{z_1 - z_2} = \bar{z_1} - \bar{z_2}.
  • Polar Form: A complex number zz can be written as z=zeiθz = |z|e^{i\theta}, where z|z| is the modulus and θ\theta is the argument.

Step-by-Step Solution

1. Analysis of Statement I

Step 1: Simplify the given inequality. The given inequality is (z1+z2)z1z1+z2z22(z1+z2)(|z_1|+|z_2|)\left|\frac{z_1}{\left|z_1\right|}+\frac{z_2}{\left|z_2\right|}\right| \leq 2\left(\left|z_1\right|+\left|z_2\right|\right). Since z1+z2|z_1|+|z_2| is a positive real number, we can divide both sides by it without changing the inequality's direction: z1z1+z2z22\left|\frac{z_1}{\left|z_1\right|}+\frac{z_2}{\left|z_2\right|}\right| \leq 2 Explanation: This simplification isolates the core of the inequality for easier analysis.

Step 2: Recognize unit complex numbers. Let u1=z1z1u_1 = \frac{z_1}{|z_1|} and u2=z2z2u_2 = \frac{z_2}{|z_2|}. Then u1=u2=1|u_1| = |u_2| = 1, so u1u_1 and u2u_2 are unit complex numbers. Explanation: Identifying these as unit complex numbers is key because we know their moduli are equal to 1.

Step 3: Apply the Triangle Inequality. We need to check if u1+u22|u_1 + u_2| \leq 2 is always true. By the triangle inequality, u1+u2u1+u2=1+1=2|u_1 + u_2| \leq |u_1| + |u_2| = 1 + 1 = 2. Thus, u1+u22|u_1 + u_2| \leq 2 is always true. Explanation: The triangle inequality directly shows that the modulus of the sum of two unit complex numbers is always less than or equal to 2.

Step 4: Alternative Approach using Polar Form. Let z1=z1eiθ1z_1 = |z_1|e^{i\theta_1} and z2=z2eiθ2z_2 = |z_2|e^{i\theta_2}. Then z1z1=eiθ1\frac{z_1}{|z_1|} = e^{i\theta_1} and z2z2=eiθ2\frac{z_2}{|z_2|} = e^{i\theta_2}. We want to evaluate eiθ1+eiθ2|e^{i\theta_1} + e^{i\theta_2}|. eiθ1+eiθ22=(eiθ1+eiθ2)(eiθ1+eiθ2)=(eiθ1+eiθ2)(eiθ1+eiθ2)|e^{i\theta_1} + e^{i\theta_2}|^2 = (e^{i\theta_1} + e^{i\theta_2})(\overline{e^{i\theta_1} + e^{i\theta_2}}) = (e^{i\theta_1} + e^{i\theta_2})(e^{-i\theta_1} + e^{-i\theta_2}) =eiθ1eiθ1+eiθ1eiθ2+eiθ2eiθ1+eiθ2eiθ2=1+ei(θ1θ2)+ei(θ2θ1)+1= e^{i\theta_1}e^{-i\theta_1} + e^{i\theta_1}e^{-i\theta_2} + e^{i\theta_2}e^{-i\theta_1} + e^{i\theta_2}e^{-i\theta_2} = 1 + e^{i(\theta_1 - \theta_2)} + e^{i(\theta_2 - \theta_1)} + 1 =2+ei(θ1θ2)+ei(θ1θ2)=2+2cos(θ1θ2)=2(1+cos(θ1θ2))= 2 + e^{i(\theta_1 - \theta_2)} + e^{-i(\theta_1 - \theta_2)} = 2 + 2\cos(\theta_1 - \theta_2) = 2(1 + \cos(\theta_1 - \theta_2)) Using the identity 1+cos(x)=2cos2(x/2)1 + \cos(x) = 2\cos^2(x/2), eiθ1+eiθ22=4cos2(θ1θ22)|e^{i\theta_1} + e^{i\theta_2}|^2 = 4\cos^2\left(\frac{\theta_1 - \theta_2}{2}\right) eiθ1+eiθ2=2cos(θ1θ22)2|e^{i\theta_1} + e^{i\theta_2}| = \left|2\cos\left(\frac{\theta_1 - \theta_2}{2}\right)\right| \leq 2 Explanation: This approach provides a trigonometric verification using polar form and trigonometric identities.

Conclusion for Statement I: Both methods show that z1z1+z2z22\left|\frac{z_1}{\left|z_1\right|}+\frac{z_2}{\left|z_2\right|}\right| \leq 2 is always true. Thus, Statement I is correct.

2. Analysis of Statement II

Step 1: Define the common ratio. Let ayz=bzx=cxy=λ\frac{a}{|y-z|} = \frac{b}{|z-x|} = \frac{c}{|x-y|} = \lambda, where λ>0\lambda > 0. Then a=λyza = \lambda |y-z|, b=λzxb = \lambda |z-x|, and c=λxyc = \lambda |x-y|. Explanation: Introducing the common ratio helps simplify the given condition.

Step 2: Simplify each term in the sum. Consider a2yz\frac{a^2}{y-z}. Substituting a=λyza = \lambda |y-z|, we get a2yz=λ2yz2yz\frac{a^2}{y-z} = \frac{\lambda^2 |y-z|^2}{y-z}. Since yz2=(yz)(yz)=(yz)(yˉzˉ)|y-z|^2 = (y-z)(\overline{y-z}) = (y-z)(\bar{y} - \bar{z}), we have a2yz=λ2(yz)(yˉzˉ)yz=λ2(yˉzˉ)\frac{a^2}{y-z} = \frac{\lambda^2 (y-z)(\bar{y} - \bar{z})}{y-z} = \lambda^2 (\bar{y} - \bar{z}). Similarly, b2zx=λ2(zˉxˉ)\frac{b^2}{z-x} = \lambda^2 (\bar{z} - \bar{x}) and c2xy=λ2(xˉyˉ)\frac{c^2}{x-y} = \lambda^2 (\bar{x} - \bar{y}). Explanation: Using w2=wwˉ|w|^2 = w\bar{w} allows us to cancel terms and simplify the expressions.

Step 3: Sum the simplified terms. a2yz+b2zx+c2xy=λ2(yˉzˉ)+λ2(zˉxˉ)+λ2(xˉyˉ)\frac{a^2}{y-z} + \frac{b^2}{z-x} + \frac{c^2}{x-y} = \lambda^2 (\bar{y} - \bar{z}) + \lambda^2 (\bar{z} - \bar{x}) + \lambda^2 (\bar{x} - \bar{y}) =λ2(yˉzˉ+zˉxˉ+xˉyˉ)=λ2(0)=0= \lambda^2 (\bar{y} - \bar{z} + \bar{z} - \bar{x} + \bar{x} - \bar{y}) = \lambda^2 (0) = 0. Explanation: The terms telescope and sum to zero.

Conclusion for Statement II: The expression a2yz+b2zx+c2xy\frac{a^2}{y-z} + \frac{b^2}{z-x} + \frac{c^2}{x-y} evaluates to 0, not 1. Therefore, Statement II is incorrect.

Common Mistakes & Tips

  • Remember to use the triangle inequality correctly: z1+z2z1+z2|z_1 + z_2| \leq |z_1| + |z_2|.
  • Don't forget the property z2=zzˉ|z|^2 = z\bar{z} when dealing with moduli and conjugates.
  • Always check for potential simplifications like telescoping sums.

Summary Statement I is correct, as shown by the triangle inequality and polar form representation. Statement II is incorrect, as the given expression simplifies to 0, not 1. Therefore, the correct option is (B).

The final answer is \boxed{B}.

Practice More Complex Numbers Questions

View All Questions