没有什么是真正不溶的
往水里丢一撮粉笔灰，搅一搅。看起来好像什么都没溶——粉笔就只是待在那儿。但那个「什么都没溶」是尺度上的谎言。确实有微乎其微的一点点溶解了，裂成了称为离子的带电碎片；与此同时，水中的离子又不断撞回一起、重新加入固体。这两股相反的车流达到一种平衡，就像我们舞池的那道门。固体与一缕微弱、固定的溶解离子共存。所以比「不溶」更好的说法是*微溶*——而平衡精确地告诉我们「微」到什么程度。
因为这种溶解只是又一个平衡，它也有自己的常数——但是一个特别简单的常数。当固体沉在底部时，纯固体不进入这本账（它每一勺里的「量」从不变化）。所以表达式里剩下的唯一东西，就是各溶解离子量的乘积。那个乘积就是溶度积，写作 Ksp。一个极小的 Ksp 意味着只有极少的离子能与固体共存——这种盐顽固地不溶；一个较大的 Ksp 意味着固体在停止溶解之前能容忍更多的溶解离子。
从 Ksp 到一个你能称量的数字：摩尔溶解度
Ksp 是一个比率式的常数，并不直接就是「溶解了多少」。你真正想要的那个量，是摩尔溶解度——在溶液饱和、溶解停止之前，一升水里会溶解多少摩尔的固体。从 Ksp 走到摩尔溶解度，是一段简短而令人满足的推理，而且每一次都是同一份配方。
- 把未知的摩尔溶解度记作 s——每升溶解的固体摩尔数。
- 用 s 来表示每种溶解离子的浓度，依据一个单位的固体释放出几个该离子（释放各一个离子的盐给出 s 和 s；释放某离子两个的盐给出 2s）。
- 把这些代入 Ksp 表达式，使 Ksp 变成只含 s 的一个方程。
- 解出 s。那个值（以摩尔每升计）就是摩尔溶解度——若想要可称量的量，乘以摩尔质量即得克每升。
注意第二步里埋着一个安静的陷阱。对于一种释放某离子两个的盐，那个离子以 2s 的形式出现，而当它在 Ksp 表达式里被平方或相乘时，那些「2」的因子就会叠加起来。两种盐可以有几乎相同的 Ksp，溶解度却相当不同，纯粹是因为各自释放的离子数不同。所以你不能仅靠直接比较 Ksp 值来给溶解度排名，除非这些盐裂成相同数目的离子——这个微妙之处绊倒了许多学习者，甚至一些教科书。
同离子效应：扼住溶解的咽喉
用处就在这里显现。拿那种微溶的盐，不溶进纯水，而溶进一种已经含有它某个离子的水里——这个离子由另一种可自由溶解的盐提供。如今溶解平衡面对的，是一个已经挤满它某个产物的房间。依据勒夏特列原理，体系的反推方式是*少溶一些*。溶解度下降，有时下降得很剧烈。这就是同离子效应：一个共有的离子，会压制一种同样产生该离子的盐的溶解度。
分析者很喜欢这一招。在后面的某一阶级，你会通过把分析物变成固体并收集起来来称量它。你希望它*全部*从溶液中析出，而不是顽固地留下一缕仍溶着。通过加入适度过量的一种离子，你利用同离子效应把固体几乎完全逼出——把你的损失压到小得无关紧要的水平。那个解释为什么粉笔几乎不溶的平衡，就此变成了一件捕捉分析物几乎每一个分子的工具。
到底会不会生成沉淀？Q 遇上 Ksp
最后一个实用问题：如果你把两份清澈的溶液混在一起，真的会析出固体吗？用前面几篇里同样的「Q 对 K」逻辑。用刚混合那一刻的离子量，算出溶解反应的反应商——这个版本有时叫离子积。然后把它与平衡常数 Ksp 比较。如果离子积*低于* Ksp，溶液未饱和，什么都不沉淀——还有容纳更多离子的余地；如果它*高于* Ksp，溶液被塞得过满，就会析出固体，直到平衡恢复。
这一个比较真正强大。它是猜测与预测之间的分别。在你还没把两种试剂合在一起之前，你就能预先说出：会不会出现一团固体云——以及尘埃落定时大致还剩多少溶着。从硬水的水垢到肾结石，再到实验室里有意为之的沉淀，这个「Q 对 Ksp」的检验，正是那位安静的法官，裁定一个固体何时诞生。