三角证明题最后那个是=3