问一道IMO的题如图,重点解释红色划线部分: