Herminny you thought a lot about it, but If you look at the picture carefully, you'll see that the blue line doesn't end Directly above the corner, so when you extend the line down, the angle is not 90 degrees, and pythagorus only works for 90 degree angles.
In reply to the statement that the red line is slightly longer, because we now know the drawing is not to scale, for all we know it could be like this one, and the length would be double the blue... It is an overexaggeration.
I think our best guess here now is to have someone with great artistic skills draw the diagram TO SCALE and measure it with a ruler.