HW7_Derive the relationships in tie triangle