三角形abc中,ab=ac,角bac=90度,bd=ab,角abd=30度,求证:ad=dc