已知三角形ABC,角BAC等于90度,D为三角形ABC内一点且AB=AC=BD,角ABD等于30度.求证AD=DC