明矾净水原理的离子方程式有可逆符号吗?书上为什么没有?不是水解吗?