已知,如图,在RT三角形ABC中,角BAC=90度,D是BC上的一点,角bad等于2角c,求证角a