Среднее геометрическое

Средним геометрическим двух неотрицательных чисел a и b называется такое неотрицательное число c, что: