塾の先生が
「a+bi=0 a,b は実数 ⇒ a=b=0 の証明は背理法で簡単にできる」
といいましたが、これは定義から言える事で証明すべき事ではないのではないですか？