小明在研究直角三角形的边长时，发现了下面的式子：
①当三边长分别为3、4、5时，32+42=52；②当三边长分别为6、8、10时，62+82=102；③当三边长分别为5、12、13时，52+122=132；?…
（1）从中小明发现了一个规律：在直角△ABC中，若∠B=90°，则它的三边长满足________．
（2）已知长方形ABCD中AB=8，BC=5，E是AB的中点，点F在BC上，△DEF的面积为16，求点D到直线EF的距离．
网友回答
解：（1）根据①当三边长分别为3、4、5时，32+42=52；
②当三边长分别为6、8、10时，62+82=102；
③当三边长分别为5、12、13时，52+122=132；?…得到一个规律，直角三角形斜边的平方等于两直角边的平方和，
则在直角△ABC中，若∠B=90°，则它的三边长满足：AB2+BC2=AC2；
（2）设BF=x，则CF=5-x，S△DCF=DC?CF==20-4x，S△BEF==2x，S△DAE==10
而S△DEF=16，且矩形ABCD的面积为5×8=40，
所以（20-4x）+2x+10+16=40，解得x=3，
则根据勾股定理得：EF==5，设D到直线EF的距离为d，
所以×5d=16，
解得d=．
故