方程： (1+x/7)*(x/7)/2*7+(x%7)*(x/7+1) = n

x为答案，n为输入数据

由 张鹤轩 与 孙成坤共同推导