You are correct in that a non-trivial solution is a nonzero vector x that satisfies the system. However, if m < n, then there are more variables than equations, not the other way around. See here for a very similar thread. That is, look at my post # 2. How could you adapt that idea for your problem here?