如何证明硫酸钡与碳酸钡的溶度积