某人提出的一个弱智命题:
∀s∈R,s>0\forall s\in\mathbb{R},s>0∀s∈R,s>0,不存在一个复数 a+bia+bia+bi 使 b≠0b\not =0b=0 且 (a+bi)2=s(a+bi)^2=s(a+bi)2=s.
如何证明?