Mathematica Quick question on Mathematical Induction

AI Thread Summary
In mathematical induction involving two variables, such as positive integers n and real numbers x (where x >= -1), the variable x is treated as a constant during the induction process. It does not need to be expanded like n, which is typically represented as k + 1 for the induction step. The key point is to demonstrate that the statement holds for any fixed value of x within the specified range while proving it for all positive integers n. An example provided illustrates this by showing that |x^n| = |x|^n holds true for any positive integer n and any real number x, confirming the approach's validity.
Residual
Messages
3
Reaction score
0
In mathematical Induction, sometimes two variables are given, such as:
"All positive integers n and all real numbers x >= -1."

My question is do you solve this normally and just keep x as itself or do you have to expand it like you do with n, making it k + 1 etc etc.

Thanks in advanced
 
Physics news on Phys.org
You leave $x$ as it is, it is an arbitrary real number >= -1. In the proof it is like that you will need the fact x >= -1.
A little more context would help, but if I am guessing your issue correctly the answer is no.
 
Well an example would be:

|x^n| = |x|^n for every positive integer n and real number x.
 
You show for any given n, x works.

Which kind of makes sense, don't you think?
 
I have done a few examples and they all worked nicely.

Thanks.
 

Similar threads

Replies
8
Views
2K
Replies
3
Views
6K
Replies
4
Views
2K
Replies
17
Views
2K
Replies
10
Views
4K
Replies
10
Views
2K
Replies
10
Views
3K
Back
Top