If a line (AB) be divided into any two parts (at C), the square on the whole line is equal to the sum of the squares on the parts (AC, CB), together with twice their rectangle.
