Theorem of the cube Theorem of the cube In mathematics, the theorem of the cube is a condition for a line bundle over a product of three complete varieties to be trivial. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The final version of the theorem of the cube was first published by , who credited it to André Weil. A discussion of the history has been given by . A treatment by means of sheaf cohomology, and description in terms of the Picard functor, was given by . The theorem states that for
Doubling the cube at solving what they saw as an obstinate but soluble problem. However, the nonexistence of a solution was finally proven by Pierre Wantzel in 1837. In algebraic terms, doubling a unit cube requires the construction of a line segment of length , where ; in other words, . This is because a cube of side length 1 has a volume of , and a cube of twice that volume (a volume of 2) has a side length of the cube root of 2. The impossibility of doubling the cube is therefore equivalent to the statement that is not a constructible