已知△ABC,△ACD,△ADE,△AEF为4个等腰直角三角形，且前一个等腰直角三角形的斜边是后一个等腰直角三角形的直角边，那么设AB=BC=a,那么根据等腰直角三角形的性质，可以得到这四各等腰直角三角形的每条边长，而因为等腰直角三角形的性质，我们知道角DAF=90°，则DA⊥B
