半圆(或直径)所对的圆周角是直角,它的逆命题