Why is |a+bi| defined as:

Why is it not defined as

This would yield

I understand that it comes from applying pythagorean's theorem to the complex plane but since proofs of pythagorean's theorem obviously involve only real numbers I guess it's just a convenient definition so that other results come out the way we want? Is that the idea of even defining the imaginary plane to begin with?