Talk:General Periodicity Property

From ProofWiki
Jump to navigation Jump to search

It is not quite simple, as your domain is $\Z$ instead of $\N$, and there is no induction algorithm on $\Z$ yet... --kc_kennylau (talk) 07:18, 1 November 2016 (EDT)

Then it is trivial to extend it to negative numbers. Please feel free to plug all these holes that you find. --prime mover (talk) 11:05, 1 November 2016 (EDT)
I don't see any other way to do it other than induction, but I have not found a suitable page to cite. --kc_kennylau (talk) 11:07, 1 November 2016 (EDT)
Do the positive numbers by induction then do the negative numbers, either by induction or as a trivial consequence of the positive numbers. --prime mover (talk) 11:08, 1 November 2016 (EDT)
Noted. --kc_kennylau (talk) 11:09, 1 November 2016 (EDT)