p(x,y|z)=p(x|y,z)*p(y|z)

证明：

$$p(x,y\mid z)=p(x\mid y,z)\times p(y\mid z)$$

---

首先：
$$p(x,y\mid z)=\frac{p(x,y,z)}{p(z)}$$
其中，分子 $p(x,y,z)$ 有：
$$p(x,y,z)=p(x\mid y,z)\times p(y,z)$$
其中 $p(y,z)$ 又有：
$$p(y,z)=p(y\mid z)\times p(z)$$
于是 $p(x,y,z)$ ：
$$p(x,y,z)=p(x\mid y,z)\times p(y\mid z)\times p(z)$$

将此时的 $p(x,y,z)$ 带入 $p(x,y\mid z)=\frac{p(x,y,z)}{p(z)}$ ：
$$p(x,y\mid z)=\frac{p(x,y,z)}{p(z)}=\frac{p(x\mid y,z)\times p(y\mid z)\times p(z)}{p(z)}$$

分子分母消去 $p(z)$ 得：
$$p(x,y\mid z)=p(x\mid y,z)\times p(y\mid z)$$