Lo sapeva già Euclide (300 a.C. circa)
. . . e questa è la sua dimostrazione (Elementi, libro IX):