D.1 三角几何恒等式