Proposición 6

Si se divide en dos partes iguales una línea recta y se le añade, en línea recta, otra recta, el rectángulo comprendido por la recta entera con la recta añadida y la recta añadida junto con el cuadrado de la mitad es igual al cuadrado de la recta compuesta por la mitad y la recta añadida.

Divídase, pues, la recta ΑΒ en dos por el punto C , y añádasele, en línea recta, otra recta, ΒD . Digo que el rectángulo comprendido por ΑD, DΒ junto con el cuadrado de CΒ es igual al cuadrado de CD.

Pues constrúyase a partir de D el cuadrado ◻CΕFD [Prop. I.46] , y trácese DΕ , y por el punto Β trácese ΒG paralela a una de las dos rectas ΕC, DF , y por el punto H trácese ΚΜ paralela a una de las dos rectas ΑΒ, ΕF, y además por el punto A trácese ΑΚ paralela a una de las dos rectas CL, DΜ [Prop. I.31] .

Entonces, como ΑC = CΒ, también ▭ΑL = ▭CH [Prop. I.36]. Pero ▭CH =▭HF [Prop. I.43]. Por tanto, ▭ΑL = ▭HF . Añádase a ambos ▭CΜ; entonces ▭AM = ◱ΝOP. Pero ▭ΑΜ = ΑD⋅DΒ: porque DΜ = DΒ; por tanto, ◱ΝOP = ΑD⋅DΒ. Añádase a ambos ◻LG = ΒC2; entonces ΑD⋅DΒ + CΒ2 = ◱ΝOP + ◻LG. Pero ◱ΝOP + ◻LG = ◻CΕFD = CD2; por tanto, ΑD⋅DΒ + CΒ2 = CD2 .

Q. E. D.