在梯形ABCD中,AB//CD,角BCD=90度,且AB=2,tan角ADC=2,证明DC=BC