First Principles AI

Solution

\begin{aligned} & \boxed{\text{Let } z=a+ib, \text{ where } a,b\in\mathbb{R}.} \\ \\ & \boxed{\text{Then the conjugate is } \bar{z}=a-ib.} \\ \\ & \boxed{\text{(\Rightarrow) If } z=\bar{z}:} \\ \\ & a+ib = a-ib \\ & \Rightarrow ib = -ib \\ & \Rightarrow 2ib = 0 \\ & \Rightarrow b = 0 \\ \\ & \boxed{\text{So } z=a+0i=a, \text{ which is real.}} \\ \\ & \boxed{\text{(\Leftarrow) If } z \text{ is real, then } z=a+0i.} \\ \\ & \Rightarrow \bar{z}=a-0i=a=z \\ \\ & \boxed{\therefore\ z=\bar{z} \iff z \text{ is real.}} \end{aligned}

Let z = a + bi and compute z\u0304. Compare z = z\u0304.