如果在两点间连接的所有线中有一条最短的线,那么该线为直线
如果一个角是钝角,那么它的补角是锐角