I need someone to guide me to solve the following problem
Let $a, b \in G$.
a. f $(a *b)^i = a^i * b^i$ for three consecutive natural numbers, then show that $G$ is Abelian.
b. If the above property holds only for two numbers, then it is not necessarily Abelian.