试证明两连续随机变量之间的平均互信息I（X；Y）是输入随机变量X的概率密度函数p（x）的型凸函数。