I've independently discovered a few identities related to the golden ratio and the generalized Fibonacci sequences. I've looked through the obvious sites (Wikipedia, the OEIS) to see if they've been posted there, and they haven't. However, though the identities are certainly not trivial, their proofs are surprisingly simple, and it seems very likely that someone has already published them in some obscure article or another. Are there comprehensive "proof repositories" I can go through? And if they have been discovered before, I feel like I should say so in any papers I write that include the identities, but since I didn't actually utilize their work in any way, the citation should be different than if I had. Is there an accepted way to give whoever discovered them first their due (though I couldn't possibly know for sure if they were the first) without ceding all credit to them?
I'm not simply looking to see if these specific identities have been discovered; I want to know this for the sake of all work I do in the future. However, just in case some of you happen to know something I don't, I'll provide a link to one of them. I posted it to the OEIS (http://oeis.org/A001622, under Formulas, by Isaac Saffold on February 28, 2018).
EDIT: I realize that the example I gave may be a bit too trivial to be a good one. Like I said, this question isn't about a specific discovery I've made, but about good practice in general.