医疗器械软件描述范例:已知梯形的对角线相等,如何证明此梯形为等腰梯形