题解都是直接给做法和证明，解法到底是怎么想出来的。