Three-point identity for relative entropy
= Three-point identity for relative entropy
For probability mass functions $P,Q,R$ with compatible supports,
$$
D(P\Vert Q)
=D(P\Vert R)+D(R\Vert Q)
+\sum_a\{P(a)-R(a)\}\log\frac{R(a)}{Q(a)}.
$$
When the final term vanishes, this is the Pythagorean identity for relative entropy.