Here is my attempt.
Suppose we have $a^m \equiv 1 \pmod n$ and assume that $ord(a,n) = k$ (order of $a)$ and so since $k = ord(a,n)$
it follows that $k \leq m$ .
Now if $k = m$ then we are done but now assume that $k < m$ and it also follows that $a^k \equiv 1 \pmod n$. Hence we do have that $a^m \equiv a^k \pmod n$ which means that
$n \mid a^m - a^k$ and so $n | a(a^{m-1} - a^{k-1})$, however since $gcd(a,n) = 1$ then we know that $n \mid a^{m-1} - a^{k-1}$ and eventually since we have $k < m$ we can keep doing that until we have $n \mid a^{m-k} - 1$.
but how do I conclude form here that $k \mid m$ or is there another simpler method ?
For the converse statement (other implication , it's trivial)
Suppose that $ ord(a,n) \mid m$
so again let $k = ord(a,n)$ then there exists an integer $t$ such that $kt = m$
then since $a^k\equiv 1 \pmod n$ then $a^{kt} \equiv 1 ^{t} \pmod n$ and so $a^m \equiv 1 \pmod n$ . So I am just stuck in the first implication