△ABC中,∠BAC=90°,AB=AC,在这个三角形内取一点D,使∠ABD=30°,且BD=BA,求证:AD=CD.