arXiv:0801.0805math.NT
One curious proof of Fermat's little theorem
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
We give a proof of Fermat's little theorem which does not use nor arithmetic(Euclidean algorithm) neither algebra (group theory), but it rather employs the field of the formal power series Q((x)). The note is an example of a mathematical joke, though it contains a rigorous proof. (The paper will appear in print exactly as in the version v3).
There's also a very interesting proof without using any analogue of the Euclidean algorithm - http://arxiv.org/pdf/0801.0805v3.pdf
cronaldoView on HNParent context