Sun's curious identity


In combinatorics, Sun's curious identity is the following identity involving binomial coefficients, first established by Zhi-Wei Sun in 2002:

Proofs

After Sun's publication of this identity, five other proofs were obtained by various mathematicians: