## Proposition 15

 If a unit measures any number, and another number measures any other number the same number of times, then alternately, the unit measures the third number the same number of times that the second measures the fourth. Let the unit A measure any number BC, and let another number D measure any other number EF the same number of times. I say that, alternately also, the unit measures the number D the same number of times that BC measures EF. Since the unit A measures the number BC the same number of times that D measures EF, therefore there are as many numbers equal to D in EF as there are units in BC. Divide BC into the units in it, BG, GH, and HC, and divide EF into the numbers EK, KL, and LF equal to D. Then the multitude of BG, GH, and HC equals the multitude of EK, KL, and LF. And, since the units BG, GH, and HC equal one another, and the numbers EK, KL, and LF also equal one another, while the multitude of the units BG, GH, and HC equals the multitude of the numbers EK, KL, and LF, therefore the unit BG is to the number EK as the unit GH is to the number KL, and as the unit HC is to the number LF. Since one of the antecedents is to one of the consequents as the sum of the antecedents is to the sum of the consequents, therefore the unit BG is to the number EK as BC is to EF. VII.12 But the unit BG equals the unit A, and the number EK equals the number D. Therefore the unit A is to the number D as BC is to EF. Therefore the unit A measures the number D the same number of times that BC measures EF. Therefore, if a unit number measures any number, and another number measures any other number the same number of times, then alternately, the unit measures the third number the same number of times that the second measures the fourth. Q.E.D.
This proposition expresses the commutativity of multiplication. If a number e is b times d, that is, 1 measures b the same number of times that b measures d, then e also is d times b. In other words, bd = db. The next proposition states this commutativity more explicitly.

This proposition can be viewed as a special case of proposition VII.9.

This proposition is used in the next proposition and a few others in Books VII and IX.

Next proposition: VII.16

Previous: VII.14

 Select from Book VII Book VII intro VII.Def.1-2 VII.Def.3-5 VII.Def.6-10 VII.Def.11-14 VII.Def.15-19 VII.Def.20 VII.Def.21 VII.Def.22 VII.1 VII.2 VII.3 VII.4 VII.5 VII.6 VII.7 VII.8 VII.9 VII.10 VII.11 VII.12 VII.13 VII.14 VII.15 VII.16 VII.17 VII.18 VII.19 VII.20 VII.21 VII.22 VII.23 VII.24 VII.25 VII.26 VII.27 VII.28 VII.29 VII.30 VII.31 VII.32 VII.33 VII.34 VII.35 VII.36 VII.37 VII.38 VII.39 Select book Book I Book II Book III Book IV Book V Book VI Book VII Book VIII Book IX Book X Book XI Book XII Book XIII Select topic Introduction Table of Contents Geometry applet About the text Euclid Web references A quick trip