What is a is positive and b is negative? How do you extend the visual proof?
a^2 - b^2 = a^2 - (-c)^2 = a^2 - c^2 = (a + c)(a - c) = (a + b)(a - b)
1 x 1
1 x -1
-1 x -1
Is just the middle one a cut out?
I reckon you need the axiom from the field to do generalize this to negative numbers.