Geometry Stumper

[Thomas Puettmann]

(08-15-2018 07:23 PM)Albert Chan Wrote:  There is an even simpler Mathematica prove, without finding out slopes

I like such CAS proofs a lot, although I haven't done any by myself. Doron Zeilberger from Rutgers has written a book, in which he proves 55 theorems from plane geometry using Maple:
http://sites.math.rutgers.edu/~zeilberg/GT.html
He has very strong opinions about that computer math is the "real" math and all what we humans still do ourselves is unimportant because it is of neglegtible complexity.