Multiplication in synthetic geometry (example using geometrical circle inversion theorem)

euclidean-geometrygeometry

How exactly does multiplication make sense in synthetic geometry? I'll use a theorem expressing circle inversion. Let $C$ be some circle with radius $r$ and center $O$, and let $P'$ be some point outside $C$, then it has two tangents with $C$, which we will use to form the lines $QP'$ and $RP'$. Connect $R$ and $Q$ to one another and connect them to the center $O$. Then, $OQP'$ is a square triangle and is similar to the triangle $OQP$ by virtue of having the same angles. Therefore, $\frac{OP}{OQ} = \frac{OQ}{OP'}$.

What I don't get is, how are we justified from this last relationship to say that $OP*OP' = OQ^2 = r^2$? Doesn't this require multiplication, which is an algebraic property not available in synthetic geometry? $\frac{OP}{OQ} = \frac{OQ}{OP'}$ expresses nothing else than $OP$ is to $OQ$ like $OQ$ is to $OP'$, from which I wouldn't know how to derive something like multiplication, so I think I'm misunderstanding something here.

Here is a picture of the above I found on another thread Circle Inversion
enter image description here

Best Answer

It is possible to define proportionality relationships between line segments in purely geometric terms. The trick is that you force the line segments to be legs of a right triangle, which makes everything well-defined.

More formally, we say that $AB:AC=AD:AE$ if in the following diagram the hypotenuse line segments $BC$ and $DE$ are parallel:

right triangles

If $p,q,r,s$ are arbitrary line segments, then we can build a diagram like the above one using segments congruent to $p,q,r,s$ as legs of the two right triangles. We then say that $p:q=r:s$ if that diagram has parallel hypotenuses.

You can then define multiplication purely geometrically as well: you choose some particular line segment $1$, and for any segments $p$ and $q$ you say that the line segment $pq$ has length such that $1:q=p:pq$.

Once you have these definition, you can prove that in fact the definition $p:q=r:s$ has all the standard proportionality properties (e.g., that two triangles are similar if and only if their corresponding sides are proportional), and that the above multiplication forms a field along with the obvious addition operation on segment lengths by concatenation. These proofs are complicated and a little tedious but basically boil down to applying the inscribed angle theorem for circles lots of times in clever ways. You can find details in Hilbert's original book (though the Gutenberg version is kind of error-prone, so check his proofs carefully) or in Hartshorne's Euclidean geometry book.