Euclides formuló la primera demostración en la proposición 20 del libro IX de su obra "Elementos".