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