立方体の倍積問題
Lean
では証明されていない(
2022.03.29
)
ある立方体をそのまま拡大した2倍の体積をもつ立方体は作図できない
全く同じことだが,ある線分の
$ \sqrt[3]{2}
倍の線分は作図できない.