自动生成公式，动画GeoGebra

GeoGebra 在线网站https://www.geogebra.org/geometry下载网址https://www.geogebra.org/download下载完后GeoGebraCalculator-Windows-Installer-6-0-920-0在三角形ABC中,角ABC90,角C30°,BC6,以点A为圆心,以AB的长为半径作弧交AC于点D连接BD再分别以点BD为圆心大于二分之一BD的长为半径作弧两弧交于点P作射线AP交BC于点E连接DE没有完全执行ok执行一部分成功了Execute({B(0,0), C(6,0), A(0,6*tan(30deg)), Polygon(A,B,C), cCircle(A,Distance(A,B)), DIntersect(c,Segment(A,C),2), Segment(B,D), lPerpendicularBisector(B,D)})