Abstract: Lagrange's four squares theorem states that every positive integer can be written as a sum of at most four squares. The purpose of this talk will be to present an ingenious proof of Lagrange's four squares theorem that is due to Euler. Lurking behind the scenes will be Sir William Rowan Hamilton's quaternions, although we will never need to discuss them explicitly.