如图rt三角形abc全等于rt三角形DEF,AC=DF=3