where , and correspond to the lengths of the triangle.
Can you prove it?
Previous iteration: #760106 (brief and corrected answer in #760229; I will write out a more detailed version of this same answer as well as an alternative approach using the tau function or divisor function, when I am a bit less tired)