解斜三角形中中的小证明