How to show that any finite group of even order contains an element "a" not equal to 1 such that a*a = 1
The simplest approach is to use Cauchy's theorem on finite groups: http://en.wikipedia.org/wiki/Cauchy'..._(group_theory)
Cauchy theorem is the most directly way to explain it. But there is still another way..
suppose no element fit this except .
you may consider all the pairs and "join" them by a line.
Then for all , there is exactly one line connected to it.
if is only possible for ,then all the other lines will occupy two elements, and the line occupys one element. Thus must be an odd number!!!
I don't think you need Cauchy's theorem.
Suppose this is not true. Since the inverse of 1 is itself, that leaves an odd number of elements such that each is NOT its own inverse. Pair each element with its inverse. What happens? (Of course, you need the fact that inverses are unique- if a*b= 1 and a*c= 1, then b= c.)