已知:如图,在梯形ABCD中,AB⊥AD,CD⊥AD,且AB+CD=BC.求证:以BC为直径的圆O与AD相切