四次方和公式推导