如图，从下列四个条件∠1+∠2=180°、∠2=∠3、∠1+∠3=180°、l1∥l2中选一个作为题设，一个作为结论，写出一个真命题为
看图填空：
已知：如图，AD⊥BC于D，EF⊥BC于F，交AB于G，交CA延长线于E，∠1=∠2．求证：AD平分∠BAC．
证明：∵AD⊥BC，EF⊥BC（已知）
∴∠ADC=90°，∠EFC=90°（垂线的定义）
∴ =
∥
∴∠1=
∠2=
∵∠1=∠2（已知）
∴ =
∴AD平分∠BAC（角平分线定义）
已知：如图，AD⊥BC于D，EF⊥BC于F，交AB于G，交CA延长线于E，∠1=∠2．求证：AD平分∠BAC．
证明：∵AD⊥BC，EF⊥BC（已知）
∴∠ADC=90°，∠EFC=90°（垂线的定义）
∴ =
∥
∴∠1=
∠2=
∵∠1=∠2（已知）
∴ =
∴AD平分∠BAC（角平分线定义）
