圆直径对应的圆周角一定是直角推论