An elementary approach to the group law on elliptic curves

We revisit the group structure on elliptic curves and give a simple and elementary proof of the associativity of the addition. We do this by providing an explicit formula for the sum of three points, only using the explicit definition of the group structure. In the process, we find a nice geometric interpretation of the sum of three points on the elliptic curve