Angles in a convex pentagon?

[Jobst Heitzig <heitzig@mbox.math.uni-hannover.de>]

Does anyone know whether the following is true in a convex pentagon ABCDE:
Given that EA>AB>BC and CD<DE<EA, the angle sum DEA+EAB is at most 4*pi/3.

I tried hard but could neither prove nor disprove it :-)

Jobst Heitzig



-------------
The compgeom mailing lists: see
http://netlib.bell-labs.com/netlib/compgeom/readme.html
or send mail to compgeom-request@research.bell-labs.com with the line:
send readme
Now archived at http://www.uiuc.edu/~sariel/CG/compgeom/maillist.html.