> 漂亮的推导！
> 我没想到做代换，我把b，c看成是二次方程的两个根，这时有（b+c)*a=bc-1，枚举（b+c)的值，理论上讲可以出解（我WA掉了，估计是因为精度问题）。