print(`Warning: Only works for Maple 5 and below!`): print(`use instead Pascal(); in http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE `): print(`It is here only for historical reasons!`): print(`I thank TIAN BO for pointing it out`): #Maple Program to prove Pascal's theorem about the inscribed hexagon with(geometry): point(A0,1,0):point(A1,cos(x1),sin(x1)): point(A2,cos(x2),sin(x2)): point(A3,cos(x3),sin(x3)): point(A4,cos(x4),sin(x4)): point(A5,cos(x5),sin(x5)): line(A0A5,[A0,A5]):line(A2A3,[A2,A3]): point(P2,coordinates(inter(A0A5,A2A3))): line(A4A5,[A4,A5]):line(A1A2,[A1,A2]): point(P1,coordinates(inter(A4A5,A1A2))): line(A0A1,[A0,A1]):line(A3A4,[A3,A4]): point(P0,coordinates(inter(A3A4,A0A1))): triangle(P0P1P2,[P0,P1,P2]): evalb(simplify(area(P0P1P2)=0)); time(); quit;