如图,在Rt△ABC中,∠ACB=90°,∠BAC=30°.分别以直角边AC和斜边AB向外作等边△ACD、等边△ABE.过点E,作EF⊥AB,垂足为F,连结DF.
求证:
(1)AC=EF;
(2)四边形ADFE是平行四边形.
证明:(1)∵∠BAC=30°,以直角边AB向外作等边△ABE,
∴∠CAB=∠CAB+∠BAE=90°,AE=AB,
∵EF⊥AB,
∴∠EAF+∠AEF=90°,
∴∠AEF=∠CAB,
在△AEF和△BAC中,
下图是1937年10月刊发在《战时画刊》杂志上张乐平的漫画《杀鸡儆猴图》,画中的“鸡”代表“上海日军”;“猴”代表“日军部”。该漫画
命题若“x2+y2=0,则x=y=0”的否命题是( )