The figure below illustrates four tangent circles with diameters AB, BC, CD, and AD. The line EFG is the common tangent to circles AB, BC, and CD at points E, F, and G, respectively. Given that EF = a and FG = b, the objective is to prove the formula for the shaded area: .
Discover relevant content:
Artwork of Problem 812 using iPad Apps.,
Typography using iPad Apps.