展开 证明两条线段垂直的公式