# Proposition 7

If a straight line is cut at random, then the sum of the square on the whole and that on one of the segments equals twice the rectangle contained by the whole and the said segment plus the square on the remaining segment.

Let a straight line AB be cut at random at the point C.

I say that the sum of the squares on AB and BC equals twice the rectangle AB by BC plus the square on CA.

Describe the square ADEB on AB, and let the figure be drawn.

I.43

Then, since AG equals GE, add CF to each, therefore the whole AF equals the whole CE.

Therefore the sum of AF and CE is double AF.

But the sum of AF and CE equals the gnomon KLM plus the square CF, therefore the gnomon KLM plus the square CF is double AF.

But twice the rectangle AB by BC is also double AF, for BF equals BC, therefore the gnomon KLM plus the square CF equal twice the rectangle AB by BC.

Add DG, which is the square on AC, to each. Therefore the gnomon KLM plus the sum of the squares BG and GD equals twice the rectangle AB by BC plus the square on AC.

But the gnomon KLM plus the sum of the squares BG and GD equals the whole ADEB plus CF, which are squares described on AB and BC.

Therefore the sum of the squares on AB and BC equals twice the rectangle AB by BC plus the square on CA.

Therefore if a straight line is cut at random, then the sum of the square on the whole and that on one of the segments equals twice the rectangle contained by the whole and the said segment plus the square on the remaining segment.

Q.E.D.

## Guide

We can interpret this algebraically with x for AB, y for AC, and z for CB. Then the proposition says that if x = y + z, then x2 + z2 = 2xz + y2. This can be rewritten as various identities depending on which variable is eliminated, the simplest being

x2 + z2 = 2xz + (x – z)2.

This proposition is used later in Book II to prove proposition II.13, and it is used repeatedly in Book X.
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}