双圆四边形中一个猜想不等式的证明

令标
《数学教学》2012年第7期刊载的《欧拉不等式的最简隔离及推广猜想》一文，运用几何画板进行了有效探究，发现并证明了欧拉不等式的一个最简隔离，最后经过类比，于双圆四边形（既有内切圆又有外接圆的四边形）中提出了一个猜想，笔者阅后颇受启发，再经思索、探究，发现其猜想是正确的，下面将给出文猜想的证明，供读者参考。