在梯形ABCD中,AD//BC,DC垂直AD,AE平分角BAD交CD于点E,且DE=EC.求证:AB=AD+BC