Question 7Let $0 \le a \le 1$. Prove that $m^2 + 2amn + an^2 \ge m + an$ holds for all integers $m$ and $n$, and determine the condition under which equality holds.