I have seen that the length of each side of the biggest square that can be inscribed in a right triangle is half the harmonic mean of the legs of the triangle. I have not seen a rigorous explanation for it, though. I would appreciate such an explanation. (This is intriguing - it is an optimization problem that does not require Calculus to explain.)