Arithmetic mean square of right triangle