Talk:Odd Power Function is Strictly Increasing

From ProofWiki
Jump to navigation Jump to search

If I'm not mistaken, this should hold more generally based on properties of ordered rings. My brain juices aren't flowing too well right now. Anyone have a concrete idea? --Dfeuer (talk) 05:19, 12 January 2013 (UTC)

That's as maybe but unless you have a concrete source for it, leave well alone, and if you do have a concrete source for it, put it on another page. Leave the existing pages with the results for the existing domains intact or you will compromise the integrity of the existing flow. --prime mover (talk) 08:53, 12 January 2013 (UTC)
Incidentally, I don't know if you've noticed the section at the bottom of each page, where there are sources for each result put up. There are "prev" and "next" links. I point you towards Help:FAQ#Why do you make such a fuss over the links in the "Sources" section? --prime mover (talk) 09:06, 12 January 2013 (UTC)
The existing proof (that power functions are bijective iff exponents odd) was a tad incomplete. It was also made
of useful pieces. What, then, is the correct protocol for taking the pieces apart and fixing/finishing them? One reason I took it apart is that I really want to try to find a more general form of the "strictly increasing" bit that can sit alongside the current proof of that sub-piece. I will try it this weekend. --Dfeuer (talk) 11:08, 12 January 2013 (UTC)