Without loss of generality, what may we validly assume? Given that a,b,c are positive integers, in a proof to the theorem a^3+b^3+c^3>=a^2b+b^2c+c^2a, we may assume without loss of generality that: 1. a>=c, b>=c

sincsenekdq

sincsenekdq

Answered question

2022-09-06

Without loss of generality, what may we validly assume?
So I came across the question where it was asked: Given that a,b,c are positive integers, in a proof to the theorem a 3 + b 3 + c 3 a 2 b + b 2 c + c 2 a, we may assume without loss of generality that:
1. a c , b c
2. a b , a c
3. a b , b c
4. a c , c b
I deduced that the correct answer to the question would be (3) since those are the possible cases and if that's not true, we could reorder a,b,c around. Is my idea of it correct?

Answer & Explanation

enreciarpv

enreciarpv

Beginner2022-09-07Added 18 answers

Step 1
Echoing the comments above, the given relation is symmetric up to a cycle of (a,b,c).
1. Therefore, without loss of generality, the variable, say, c may be validly assumed to be the smallest.
[If we have a particular number at position 1, another particular number at position 2, and a third particular number at position 3, we can always cycle through ‘abc′…‘bca′…‘cab′ until c's position matches that of the smallest number.]
So, option (1) is correct.
Step 2
2. Similarly, without loss of generality, the variable, say, a may be validly assumed to be the biggest. So, option (2) is also correct.
Step 3
3. On the other hand, if our sequence of numbers is (1,3,7), cycling through them will never result in them being in descending order. This contravenes option (3), which thus is incorrect.
[The structure of the given relation does not give enough freedom for us to validly infer that if it results from the case whereby a,b,c are ordered descendingly, then it automatically results from the remaining cases.]
Step 4
4. Similarly, if our sequence of numbers is (1,7,3), cycling through them will never sort them as specified in option (4), which thus also is wrong.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?