2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/137906In this paper we formulate combinatorial identities that give representation of positive integers as linear combination of even powers of 2 with binomial coefficients. We present side by side combinatorial as well as computer generated proofs using the Wilf-Zeilberger(WZ) method.11th International Fibonacci conference proceedingsNumber Theory05A19On proofs of certain combinatorial identitiestext