已知长方形ABCD，AB=3，BC=1，则tan∠DAC=．

已知长方形ABCD，AB=3cm，AD=4cm，过对角线BD的中点O做BD垂直平分线EF，分别交AD、BC于点E、F，则AE的长为．

小明在研究直角三角形的边长时，发现了下面的式子：
①当三边长分别为3、4、5时，3²+4²=5²；②当三边长分别为6、8、10时，6²+8²=10²；③当三边长分别为5、12、13时，5²+12²=13²； …
（1）从中小明发现了一个规律：在直角△ABC中，若∠B=90°，则它的三边长满足．
（2）已知长方形ABCD中AB=8，BC=5，E是AB的中点，点F在BC上，△DEF的面积为16，求点D到直线EF的距离．