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