同角的余角相等改成如果那么的形式