Powered by Wolfram
Powered by Wolfram

Computable Euclid

Proposition 3

Theorem

If a line AB  is divided into two parts at point C, then ᅵAB ᅵ⋅ᅵCB ᅵ = ᅵCB ᅵ2 + ᅵAC ᅵ⋅ᅵCB ᅵ.

Commentary

1. Let AB  be the given line segment, and let C be any point on AB .
2. On BC , construct a square ◇CBED.
3. Extend ED  to F to construct rectangles ◇ABEF and ◇ACDF.
4. The area of the rectangle ◇ABEF (ᅵAB ᅵ⋅ᅵCB ᅵ) is the sum of the areas of the two rectangles ◇CBED (ᅵCB ᅵ2) and ◇ACDF (ᅵAC ᅵ⋅ᅵCB ᅵ).
5. This geometric relationship can be expressed algebraically as follows: if x = y + z, then x y = y2 + y z (where ᅵAB ᅵ = x, ᅵCB ᅵ = y and ᅵAC ᅵ = z). This algebraic relationship is a special case of the distributive law.

Original statement

ἐὰν ϵὐθϵῖα γραμμὴ τμηθῇ, ὡς ἔτυχϵν, τὸ ὑπὸ τῆς ὅλης καὶ ἑνὸς τῶν τμημάτων πϵριϵχόμϵνον ὀρθογώνιον ἴσον ἐστὶ τῷ τϵ ὑπὸ τῶν τμημάτων πϵριϵχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τοῦ προϵιρημένου τμήματος τϵτραγώνῳ.

English translation

If a straight line is cut at random, the rectangle contained by the whole and one of the segments is equal to the rectangle contained by the segments and the square on the aforesaid segment.


Computable version


Additional instances


Dependency graphs