在一个三角形中,等角对等边是公理还是定理