Pythagorean identity for relative entropy (source code)

= Pythagorean identity for relative entropy

The Pythagorean identity is
$$
D(P\Vert Q)=D(P\Vert R)+D(R\Vert Q)
$$
whenever the residual term in the <three-point identity for relative entropy> is zero. Convex information projections replace equality by the corresponding Pythagorean inequality.