已知三角形ABC中AB等于AC,角A等于90度,BD等于AB,角ABD等于30度,证明AD等于DC.