A more elegant answer uses The Similar Triangles Theorem: let v = OP, w = PQ, c v = OR, and c w = RS . Then tri(O P Q) and tri(O R S) are similar triangles so c segment(OQ) and c ( v + w ) = c v + c w .