In the figure below, three circles of radiii: a, b, c are mutually tangent to each other and a line. Prove that: .
References: Fukagawa Hidetoshi, Tony Rothman, "Sacred Mathematics: Japanese Temple Geometry" (Princenton University Press, 2008).