已知 2016-a 根号a-2017=a