(Exclusive to the Personal Journal of Shalosh B.Ekahd and Doron Zeilberger.)
Written: Jan. 4, 1998
Thanks to Rene Descartes all plane geometry is routine in principle, and thanks to computer algebra, it is also routine in practice. However, it is still a challenge to write Maple code that takes as few characters as possible. Here is a very short code that proves Napoleon's Theorem that says that if you erect equilateral triangles on the three sides of an arbitrary triangle, then their cirmcumcenters forms yet another equilateral triangle.
Maple Source Code (Plain Text File)