①过一点有且只有一条直线与已知直线平行;
②从直线外一点到直线的垂线段叫做点到直线的距离;
③两平行线间距离处处相等;
④平行于同一直线的两直线互相平行.
解:因为DF∥AB ( ▲ ),
所以∠1+ ▲ =180° ( ▲ ).
因为∠1=∠A(已知),
所以∠A+ ▲ =180° ( ▲ ).
所以DE∥AC ( ▲ ).
解:因为AB∥CD(已知),
所以∠AEF=∠DFE( ▲ ),
因为射线EG、FH分别平分∠AEF、∠DFE(已知),
所以∠ ▲ =∠AEF,
∠ ▲ =∠EFD ( ▲ ).
所以 ▲ (等式性质).
所以EG∥FH( ▲ ).
对于实数a,我们规定:用符号[a]表示不大于a的最大整数;用{a}表示a减去[a]所得的差.
例如:[]=1,[2.2]=2,{}=﹣1,{2.2}=2.2﹣2=0.2.