Some here might be interested in the publication in Pythagoras of my ICME 12 Regular Lecture "An illustration of the explanatory and discovery functions of proof" which deals with a variation of Viviani's theorem and some generalizations. Go to: http://www.pythagoras.org.za/index.php/pythagoras/article/view/193