Prove that a nonidentity element of a group has order 2 if a

Prove that a nonidentity element of a group has order 2 if and only if it is its own inverse.

Solution

Let x be the nonidentity element of a group has order 2 then x²=1 for all x in the group. This is equivalent to x=x^-1 for all x.