如图四,已知三角形ABC全等于三角形ade