.
①在同一平面内,过直线外一点有且只有一条直线与已知直线平行;
②无论k取任何实数,多项式总能分解成两个一次因式积的形式;
③已知二元一次方程组的解也是二元一次方程的解,则a的值是2;
④若 , , 则;
其中正确的说法是.
请把下面的证明过程补充完整:
证明:过点E作EFAB,
∵ABDC(已知),EFAB(辅助线的作法),
∴EFDC( ).
∴∠C=∠CEF.( )
∵EFAB,
∴∠B=∠BEF(同理),
∴∠B+∠C= ▲ (等量代换)
即∠B+∠C=∠BEC.