Seja ABCD um quadrilátero convexo com AB=AD. Seja T um ponto na diagonal AC tal que ∠ABT+∠ADT=∠BCD. Prove que AT+AC≥AB+AD.