定規とコンパスでは一般に角の三等分は出来ない
Lean
では証明されていない(
2023.03.29
)
同様の話題として,
立方体の倍積問題
がある