已知rt三角形abc和rt三角形bde,ac=bc,bd=de,f是ae中点