Isn’t the Pythagorean theorem less about the fact that a diagonal is shorter than taking a corner (which is indeed obvious) and more about calculating how much shorter it is?