إثبات علاقات بين القطع المستقيمة