Si se suman dos rectas inconmensurables en cuadrado que hagan la suma de sus cuadrados expresable y el rectángulo comprendido por ellas medial, la recta entera no es expresable; se la llama mayor.