To derive this formula was a simple Sangaku problem from Japan. From Pitot's theorem it follows that the lengths of the legs are half the sum of the bases. Since the diameter of the incircle is the square root of the product of the bases, an isosceles tangential trapezoid gives a nice geometric interpretation of the arithmetic mean and geometric mean of the bases as the length of a leg and the diameter of the incircle respectively.