过了题后发现题解区好像没几个严格证明的。
形式化地讲，就是要证
命题：设 ai,bi∈R,1≤i≤na_i, b_i \in \mathbb{R}, 1 \le i \le nai,bi∈R,1≤i≤n， 求证：
∑i=1n∑j=i+1n(ai+aj)(bi+bj)=∑i=1nai∑i=1nbi+∑i=1n(n−2)aibi\sum^n_{i=1}\sum^n_{j=i+1}(a_i+a_j)(b_i+b_j)=\sum^n_{i=1}a_i\sum^n_{i=1}b_i+\sum^n_{i=1}\left(n-2\right)a_ib_i∑i=1n∑j=i+1n(ai+aj)(bi+bj)=∑i=1nai∑i=1nbi+∑i=1n(n−2)aibi
