要证明一个高中数学公式的正确性，通常需要使用数学逻辑、代数运算和几何直观等方法。

例如，对于等差数列的前n项和公式：S_n = n(a_1 + a_n)/2，我们可以这样证明：首先，我们知道等差数列的通项公式为：a_n = a_1 + (n-1)d，其中d是公差。那么前n项和S_n可以表示为：S_n = a_1 + a_2 + ... + a_n。将通项公式代入求和，得到：S_n = (a_1 + (1-1)d) + (a_1 + (2-1)d) + ... + (a_1 + (n-1)d)。由于等差数列的性质，每一项与它前一项的差都是常数d，所以求和时中间许多项会相互抵消，只剩下首项和末项：S_n = na_1 + d(1 + 2 + ... + (n-1))。1到n-1的和可以用求和公式计算：1 + 2 + ... + (n-1) = n(n-1)/2。因此，S_n = na_1 + d * n(n-1)/2 = n(a_1 + a_n)/2。这就证明了等差数列前n项和公式S_n = n(a_1 + a_n)/2的正确性。