Root Mean Square

A root mean square of two numbers is defined as