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 was the discovery by Hippocrates of Chios that it is equivalent to finding two mean proportionals between a line segment and another with twice the length. In modern notation, this means that given segments of lengths and , the duplication of the cube is equivalent to finding segments of lengths and so that In turn, this means that But Pierre Wantzel proved in 1837 that the cube root of 2 is not constructible; that is, it cannot be constructed with straightedge and compass. Menaechmus' original solution involves the intersection of two conic curves. Other more complicated methods of doubling the