已知三角形ABC相似于三角形ADE,求证三角形ABD相似于三角形ACE