R≥2r的更简捷证法
R≥2r적경간첩증법