在Rt三角形ABD中,AD^2+BD^2=AB^2,所以AD=BD=根号2/2AB,它们之间是如何化简的?