Two One-Line Proofs of Heron's Formula that Says that the Area-Squared of a Triangle is (a+b+c)(a+b-c)(a+c-b)(b+c-a)/16

Two One-Line Proofs of Heron's Formula that says that the Area-Squared of a Triangle whose side-lengths are a,b,c Equals
(a+b+c)(a+b-c)(a+c-b)(b+c-a)/16
By Shalosh B. Ekhad and Doron Zeilberger
.pdf .ps .tex

(Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger)
Written: Jan. 20, 2014
This math-bite was inspired by the excellent MAA invited talk by William Dunham, given on Jan. 18, 2014, at the JMM at Baltimore, where I was astonished on how such great people as Hero, Newton, Euler, and last-but-not least, the great inventor Bernard (`Barney') Oliver, gave complicated proofs to this utter triviality. By analogy, I am sure that all the human-generated mathematics published today, by great people like, say, Andrew Wiles and Yitang Zhang, would be considered utterly trivial in a hundred years. Our only hope at non-trivial mathematics is to use computers!
Personal Journal of Shalosh B. Ekhad and Doron Zeilberger
Doron Zeilberger's Home Page