Reflection functors and Auslander-Reiten translations for trivial extensions of hereditary algebras☆