英国舰载雷达:柯西不等式的多种验证方法?