定义：两直线相交所组成的角为直角时，称它们互相垂直，其中一条直线叫做另一条直线的垂线。
性质：如果两直线互相垂直，则它们相交所组成的角为直角。垂线的基本性质是： (1)过直线上或直线外的一点，有且只有一条直线和已知直线垂直。 (2)从直线外一点到这条直线上各点所连的线段中，垂直线段最短。
定义：两直线相交所组成的角为直角时，称它们互相垂直，其中一条直线叫做另一条直线的垂线。
性质：如果两直线互相垂直，则它们相交所组成的角为直角。垂线的基本性质是： (1)过直线上或直线外的一点，有且只有一条直线和已知直线垂直。 (2)从直线外一点到这条直线上各点所连的线段中，垂直线段最短。
