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: