角の三等分に関してはプロがいて「解法の分類理論」がある
この分類を越える新しい「証明」は難しいのでは