三棱镜最小偏向角公式的一种证明方法