把命题 在同一个三角形中,较大的边对较大的角 改写为 如果那么的形式