The parallelogram CM is equal to DE [I. xliii., Cor. 2]; but AL is equal to CM [I. xxxvi.], because they are on equal bases AC, CB, and between the same parallels; therefore AL is equal to DE: to each add CH, and we get the parallelogram AH equal to the gnomon CMG; but AH is equal to the rectangle AD.DH, and therefore equal to the rectangle AD.DB, since DH is equal to DB [iv., Cor. 1]; therefore the rectangle AD.DB is equal to the gnomon CMG, and the square on CD is equal to the figure LG. Hence the rectangle AD.DB, together with the square on CD, is equal to the whole figure CBEF—that is, to the square on CB.
| Or thus: | AD | = AC + CD = BC + CD; | |||||||||
| DB | = BC − CD; | ||||||||||
| therefore | AD.BD | = (BC + CD)(BC − CD) = BC2 − CD2. | |||||||||
| Hence | AD.BD + CD2 = BC2. |
Cor. 1.—The rectangle AD.DB is the rectangle contained by the sum of the lines AC, CD and their difference; and we have proved it equal to the difference between the square on AC and the square on CD. Hence the difference of the squares on two lines is equal to the rectangle contained by their sum and their difference.
Cor. 2.—The perimeter of the rectangle AH is equal to 2AB, and is therefore independent of the position of the point D on the line AB; and the area of the same rectangle is less than the square on half the line by the square on the segment between D and the middle point of the line; therefore, when D is the middle point, the rectangle will have the maximum area. Hence, of all rectangles having the same perimeter, the square has the greatest area.
Exercises.
1. Divide a given line so that the rectangle contained by its parts may have a maximum area.
2. Divide a given line so that the rectangle contained by its segments may be equal to a given square, not exceeding the square on half the given line.
3. The rectangle contained by the sum and the difference of two sides of a triangle is equal to the rectangle contained by the base and the difference of the segments of the base, made by the perpendicular from the vertex.
4. The difference of the sides of a triangle is less than the difference of the segments of the base, made by the perpendicular from the vertex.
5. The difference between the square on one of the equal sides of an isosceles triangle, and the square on any line drawn from the vertex to a point in the base, is equal to the rectangle contained by the segments of the base.