三等分角是古希腊三大几何问题之一.如图,任意可被看作是矩形的对角线与边的夹角,以点B为端点的射线交于点E,交的延长线于点F.若 , 则是的一个三等分角.
证明:如图,取的中点G,连接 .
∵四边形是矩形,∴ , . ∴ .
在中,∵点G是的中点,∴ , , .
……