以下是三角形的一些证明公式：
三角形内角和定理：一个三角形的三个内角之和等于180度，即A + B + C = 180度。
直角三角形勾股定理：直角三角形的两条直角边的平方和等于斜边的平方，即a^2 + b^2 = c^2。
正弦定理：对于任意三角形ABC，有a/sinA = b/sinB = c/sinC，其中a、b、c分别为三角形ABC的三条边，A、B、C分别为对应的内角。
余弦定理：对于任意三角形ABC，有c^2 = a^2 + b^2 - 2abcosC，其中a、b、c分别为三角形ABC的三条边，C为对应的内角。
正切定理：对于任意三角形ABC，有tanA = a/b，tanB = b/a，tanC = (a+b)/c，其中a、b、c分别为三角形ABC的三条边，A、B、C分别为对应的内角。
这些公式可以用于解决各种与三角形相关的问题，例如求解三角形的边长、内角大小等。
记住证明一般三角形全等4个公式：边边边（SSS）、角角边（AAS）、边角边（SAS）、角边角（ASA）
直角三角形有特殊的证明公式：HL（一直角边与一斜边相等）、还可以用一般三角形的4个公式来证明。在证明的过程中要认真分析所给条件、要结合所学的知识、以及所掌握的公式、定理、判定定理等，理出合理的思路。如果遇到没有思路的证明题要想到做辅助线，找出适合的辅助线来解答问题。
