①过一点有且只有一条直线与已知直线平行；
②从直线外一点到直线的垂线段叫做点到直线的距离；
③两平行线间距离处处相等；
④平行于同一直线的两直线互相平行．
解：因为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．
、π、﹣2
、
、
、0.
、0.1010010001…（每两个1之间依次多一个0）中，无理数有（ ）
