दिए गए चित्र में `POQ` एक रेखा है । किरण `OR` रेखा `PQ` पर लम्ब है। किरणों `OP` और `OR` के बीच में `OS` एक अन्य किरण है। सिद्ध कीजिएः
`/_ROS=1/2(/_QOS-/_POS)`

Explanation

चूंकि `OR,PQ` पर लम्ब है
`:./_POR=/_ROQ=90^(@)`………I
`impliesPOS+/_ROS=90^(@)`
`implies/_POS+/_ROS=/_ROQ` ……… [(i) से]
`implies/_POS+/_ROS+/_ROS=/_ROS+/_ROQ` [ दोनों तरफ `/_ROS` जोड़ने पर]
`implies/_POS+2/_ROS=/_SOQ`
`implies2/_ROS=/_SOQ-/_POS`
अतः `/_ROS=1/2(/_QOS-/_POS)`