"Vajda's identity" is really Tagiuro's identity: A. Tagiuri, Di alcune successioni ricorrenti a termini interi e positivi, Periodico di Matematica 16 (1900–1901), 1–12. See also https://math.stackexchange.com/questions/1356391/is-there-a-name-for-this-fibonacci-identity.