因为EF⊥AE
所以∠AEB+∠FEC=90°
因为∠BAE+∠AEB=90°
所以∠BAE=∠FEC
因为∠B=∠C=90°
所以三角形ABE和三角形ECF相似
所以AB/EC=BE/CF
则5/（5-x）=x/y
所以y=x（5-x）/5
0x=0和5是也成立