MaplePrimes - answers and comments on Question, How to prove Morley's trisector theorem with Maple?

Unsuccessful attempt

hirnyk — Mon, 18 Oct 2010 22:53:31 Z

Here is my unsuccessful attempt: unsuccess.mw

my answer

edgar — Tue, 19 Oct 2010 01:54:16 Z

Instead of all those "assumes" I prefer to do it more directly...

morley.mw

---

G A Edgar

Doron Zeilberger

Alec Mihailovs — Mon, 25 Oct 2010 00:51:50 Z

Doron Zeilberger (דורון ציילברגר) has (at least) 2 Maple procedures proving Morley's theorem on his site - one as a part of RENE, and another one - on that page.

Wikipedia recently updated it's page (having the same picture as in the first post in this thread, just larger) with a rather simple proof which doesn't require Maple (or anything else).

Maple has no problems checking the key identity,

simplify(sin(3*a)-4*sin(a)*sin(a+Pi/3)*sin(a+2*Pi/3));

_______________
Alec Mihailovs, PhD
Maplesoft Member

one error

edgar — Tue, 19 Oct 2010 01:50:10 Z

definition of m has an x which should be z

---

G A Edgar

Comments

hirnyk — Tue, 19 Oct 2010 09:25:52 Z

Thanks. My adjusted proof FAILs too. Getting rid of assumptions is an effective idea.

Markiyan Hirnyk