Circle O(r) is inscribed in an isosceles trapezoid ABCD, where AB is parallel to CD and AD = BC. Show that 4r2 = (AB)(CD).
Japan, Edo Period, 1603-1867