[phoe-krk]

> (besides positive)

You can chart a and b on a 2D coordinate system, where they're allowed to be negative. Even positivity is not strictly required here.

[wrsh07]

I'm not sure I quite understand what the visual proof looks like if they're negative

[phoe-krk]

Check the quadrant which the result ends up in.