Why is adding the same as extending a length?

Let's completely forget all notions of number entirely.

It's not hard to show this operation (which I will call $\oplus$ rather than $\bullet$) has nice algebraic properties: it's commutative, associative, and it respects the ordering on line segments.

Alongside $\oplus$, we could pick some segment to be a unit, and use another geometric construction to define an operation $\otimes$.

These two operations on line segments have very good algebraic properties; without using any notion of number, we've still managed to construct a system in which we can do arithmetic, algebra, and analysis — in fact, once we add in a notion of direction, these operations satisfy the complete ordered field axioms.

What is the length of a line segment? The line segment itself. Addition is literally defined as "extending a length".


I believe this overall description is a relatively accurate description of actual history — e.g. that Greek geometers did algebra with line segments, considering the segments themselves as a notion of quantity; e.g. see Euclid's elements, book 2. The real number system came into being precisely as numeric representations of these geometric objects

In fact, AFAIK, for a long time mathematicians considered numbers quantifying length and numbers quantifying area as completely different kinds of numbers, rather than the point of view today where both kinds of quantities are described by the same number system, but possibly with units attached.

The perspective that treats real numbers as being more fundamental than geometric notions is, I think, mainly an artifact of how math is taught in modern times.


In your example, if you multiply by $6$, you make it about integers. That is, $$ \frac32+\frac53=\frac16 \, (9+10)=\frac16\, (9\,\bullet\,10)=\frac32\,\bullet\,\frac53. $$ All you need to believe the above equalities is that the two operations agree on the integers (you can see the integer as "counting units" to see it as a length), and that dividing by an integer preserves scale.

Once you have the argument for the rationals, it extends to the reals by continuity.


There is an imagined (or abstract ) collection called the set of real numbers with operations and ordering so that it becomes what is technically called a real number system which is an ordered field with the least upper bound (or better called the order completeness property) .This is separate from reality ,it is a matter for set theory and its logic .Now the reason for the wide interest is that it has a natural interpretation in reality as the points of a straight line drawn say on a big piece of paper ,well of course you only show a piece of the line but ignore that. Your question is really how do you assign a real number to the points on the drawn line . Well first you just mark 0 somewhere . Then you put 1 somewhere ,say to the right of 0 Now do your compass construction with a=0 and b=1 ,The real number 2(by definition)= 1+1 is assigned to the point obtained with the compass ,Now repeat the construction to get the positions or 3=2+1 ,4=3+1 , 5 =4+1 etc .Science would just say use equal spacing . Now there is a lot of work with induction type arguments to get just the integers placed right and things like 5+3 = (5 + 2) + 1 =(5+1)+1)+ 1 to understand where to put a+b for just integers .Now you have to figure out where the fractions go and then one fills in the the rest of the reals by assuming the drawn line is what is called a continuum (between any 2 distinct points no matter how close there are points in between . This is not physically true if you look under a powerful microscope at your hand drawn line but is an idealization that is useful . Any way when you are done you should see empirically ,as clear as any part of physical science that is you do your compass construction on a and b that the point you get does correspond to the abstract real number a+b . Well what you are asking about is really not trivial . One last point .One can logically construct the real number system from the integers in set theory and each step of the construction can be interpreted on your drawn line . All this interpreting is empirical ,real science ,not just abstract mathematics (which is more precise ) ,it is accepted experimentally because it works. Hope this helps .