涉及在角形半角正切的一组几何恒等式及其应用

给出了涉及三角形半角正切的一组公式及几个伴生结论，并用其巧妙地证明了一系列曲垢等式或不等式；给出了几个三角形不等式的等价性论证及两个几何不等式的加强。