Viviani's theorem (source code)

= Viviani's theorem
{wiki=Viviani's_theorem}