因此我特意用上三角换元的做法，再验证取等，不知道严不严谨，还请各位在评论区多多指