Comment by WCSTombs

The thing is that in my head there is no algebraic argument: we go from (1) similarity ratios being A:B:C and (2) the first two areas adding up to the third area, straight to the conclusion of A^2 + B^2 = C^2. I think your point about a step being missing here is valid, but when I search my intuition, it's still not coming up as algebraic. I suspect this is the same for others like me who are inclined to think geometrically, but I'd like to hear their opinions.

Here's an attempt at filling in the geometric intuition with something more concrete. You know how it's common to visualize the theorem with squares on the three sides of the triangle and saying that the two small squares add up to the big one? And then everyone stares at it and says "huh?" because that fact is far from obvious from that diagram. Here's the thing though, we're free to choose different area units if we want. So just choose units where our triangle itself with a given hypotenuse H has area H^2 units. Then we can give the argument above without any extra factors and cancellations.

To fully justify the "choose any units," you do need to check that it's logically consistent, which you could say is more missing steps, but I think this idea is far more fundamental than the Pythagorean Theorem. Our use of squares to define the fundamental units of area really is a completely arbitrary choice. We call them "square units," which already biases us to think of area in a specific way, but there's absolutely no reason we can't use any other shape. Of course squares are convenient because you can stack them up neatly and count them, but that doesn't seem to be helpful at all in this context, so it's natural to choose something else.