Problem
- Prove that if , then
- Prove that if and n is odd, then .
- Prove that if and n is odd, then .
- Prove that if and n is even, then or .
Solution
Prove that if , then
In Problem 5 we showed that if and , then . Let and , which implies .
Now consider if , , , and . By the same logic, we see that . Now, we can repeat the process again by setting and . In fact, we can do this again and again ad infinitum.
Therefore, if if and , then , then .
Prove that if and n is odd, then .
Consider the case where . This is the same as the previous part.
Consider the case where . From the text we learn that when , is positive. If we apply this to , we see that . We also see that and . Using what we proved in the previous part, we know that .
By closure under multiplication . Let , so . In fact, any pair, , , , …, will always be positive. So we know that . Similarly, we know that . By extension, . So for any odd exponent . Where n is odd, we do not change signs. So we know that where n is odd.
Finally, we have the case where . We have shown earlier that where n is odd, . On the other hand, . So again .
Prove that if and n is odd, then .
Assume . So either or .
If , by part 2 above, we know that it must be that , since n is odd. This contradicts our given that .
If , by part 2 above, we know that it must be that , since n is odd. This contradicts our given that .
Since our assumption leads to contradictions, it must be that when and n is odd that .
Prove that if and n is even, then or .
Consider the case where . Assume . Applying the proof in part 1, if then . Similarly, if then . In either case, we contradict our given that . Therefore, it must be that .
Consider the case where . Assume . In this case . Applying the proof in part 1, if then . Similarly, if then . In either case, we contradict our given that . Therefore, it must be that .
Finally, consider the case where . Assume . In this case . Applying the proof in part 1, if then . Similarly, if then . In either case, we contradict our given that . Therefore, it must be that .
Therefore, if and n is even, then or .