Intercept theorem/Two rays/Fact/Proof

< Intercept theorem < Two rays < Fact
Proof

Without loss of generality, we may assume that , , and , as this does not change the lines involved. We write . We have ; therefore, we obtain

This point belongs to and also to . This means that this point is just . Hence, , and