The figure below shows a triangle
ABC with the incircle O of area S, tangent to the sides at D, E, and F.
S_{a}, S_{b}, and S_{c} are the areas of the arbelos bounded by the semicircles of diameter
AB, BC, AC, AD, AF, BD, BE, CE, and CF. Prove that
.
