Stoneface
This doesn't seem right to me. How can statement one lead to absolute certainty? For example, PQ and RS may be parallel, but that doesn't mean they are horizontal. What if Q sat lower on the y axis than P and R sat lower than S, allowing for OR to be shorter than OS?
Dear Stoneface,
The geometric truths here have nothing to do with whether any of the segments are horizontal or vertical. The ideas of horizontal & vertical are important in coordinate geometry, in the x-y plane, but in pure geometry, Euclidean geometry, the ideas of horizontal and vertical are essentially meaningless. They have absolutely no meaningful connection to any of the important idea of Euclidean geometry.
If we tilt the diagram, all the geometric truths remain.
Attachment:
tilted diagram.JPG [ 27.7 KiB | Viewed 28865 times ]
Since PQ is parallel to RS, the two arcs, arc PR and arc QS, have to be congruent.
This means that arc RPQ must be congruent to arc PQS.
Angles S and angle R are the two inscribed angles that subtend these arcs, so those two angles must be congruent. Angle S = angle R.
Once we establish this, then the Isosceles Triangle Theorem guarantees that OR = OS. Subtract the two equal chords, PR = QS, and we get OP = OQ.
Those are the geometric relationships in the diagram, and whether the segments are horizontal is 100% irrelevant.
Does all this make sense?
Mike