证明三角形两边之积等于第三边上的高与外接圆的直径之积