展开 两边对应成比例对角相等证相