在梯形ABCD中,已知AB//CD,AB⊥CD,AD=DC=CB,AB=4,以AB所在直线为x轴,过D且垂直于AB的直线