I found a new kind of identities which are half logic and half algebraic while working on a proof of NP-completeness. They are like this: (a+mb)/(n+m)<a/n Leftrightarrow b<a/n. It's the first time, I encounter such an identity. It has the amusing and counter-intuitive property that the right member is not modified, but the two left members are not algebraically equivalents. Can you tell me if you ever encountereed such identities before? These ones in particular? (There are 9 in total: equality, strict inequality or not, changing way if n+m and m have same sign or not.) If not would you have suggestions for naming this kind of identities?

sondestiny120g

sondestiny120g

Open question

2022-08-16

New kind of identities?
I found a new kind of identities which are half logic and half algebraic while working on a proof of NP-completeness. They are like this:
a + m b n + m < a n b < a n
It's the first time, I encounter such an identity. It has the amusing and counter-intuitive property that the right member is not modified, but the two left members are not algebraically equivalents.
Can you tell me if you ever encountereed such identities before? These ones in particular? (There are 9 in total: equality, strict inequality or not, changing way if n + m and m have same sign or not.) If not would you have suggestions for naming this kind of identities?
Moreover it would be interesting to know if there is a finite number of identities of this kind, an infinite number but recursively enumerable, etc.
I do not ask for a proof [!] but only whether somebody knows of a systematic treatment of equivalences of this kind in the literature.
Feel free to search one but let me a few months to search by myself. If I don't have any idea to prove it, I'll update my question to let you know anyone is welcome to publish on the subject.
Update 2013/07/26:
egreg definitely found the good idea behind these identities. Let me update my question as follows : Does there exist an identity of the type
a ? b a ? f ( a , b )
where f(a,b) is not a weighted mean of a and b (? may be =, <, >, <=, >=)?
Update 2013/07/30:
Thanks to zyx we now have a very simple way to construct an infinity of such identities. There remains a "few" questions:
Since it doesn't appear anyone know an article or a book that explicitely remarked these kind of identities as particular, would you have suggestions for naming this kind of identities? (Question A)
Are all such identities as zyx described (in the meaning ( b a ) n × )? (Question B) If not, are these identities recursively enumerable? (Question C)
What are the examples of such identities that are important, useful for demonstrating mathematical results? (Question D) We already know that these identities from weigthed means are useful. Do you have other examples from classical proofs? (Question D')
Note that the answer to question B is no if you change (or extend) the rules ;). For example on rings instead of fields and if the inequality may be strict or not in the same identity. As an example, if we take the ring 2Z of even integers, we have the identity
b < a ( b a ) 3 + 8 + a a .
So far, I only had the following idea for naming this kind of identities: "semi-invariant identities". It shouldn't be hard to find a better name.
Update 2013/07/31 Clarification :
For now, I would like to answer the previous questions on fields only BUT the final word on these identities is out of reach. Why?
The broader framework I see for these identities is the framework of universal algebras. Given such an algebra A of domain A and two binary relations ? 1 and ? 2 on A such that ? 1 and ? 2 are orders or equivalence relations (yes, you can mix an equivalence relation and an order relation if you want but I have no idea if it could yield something interesting on some algebra), the idea is to study the identities that are as follows:
Let n N , an n- ? 1 - ? 2 -semi-invariant identity on A is defined by three terms f 1 , f 2 , f 3 on A such that:
( a 1 , , a n ) A n , f 1 ( a 1 , , a n ) ? 1 f 2 ( a 1 , , a n ) f 1 ( a 1 , , a n ) ? 2 f 3 ( a 1 , , a n )
where f 2 and f 3 are not algebraically equivalents (as I noted in the original question).
Clearly, this is too broad to ask a question in this framework right now. These identities may be interesting on algebras used to construct graphs, etc. But not many people would see an interest in it or see what I'm talking about. I would like to see what can be useful with these identities on the most standard algebras (fields is a good starting point) and it could benefit to many people not only a few dozens of specialists of some particular research domain. Following part of zyx idea, one could go even further by considering arbitrary relations.

Answer & Explanation

Kasey Bird

Kasey Bird

Beginner2022-08-17Added 13 answers

Step 1
There is nothing too mysterious about this.
a + m b n + m < a n a + m b < a + m n a m b < m n a b < 1 n a b < a n
assuming m , n > 0. For an insight, you're assuming that for each m, we have
m b + a n + m < a n
as m , the LHS goes to b. This means that b a n .
But it cannot be the case b = a / n, because then we would get the absurdity a < a from the original inequalirt. Of course, this is pushing things a little too much, since it this case we can easily manipulate the inequality. But maybe this interests you:
Step 2
THM Suppose that x , y > 0 , a are such that, for each n 1
a x a + y n
Then x a, that is x = a.
P Assume to the contrary that x > a. Then x a > 0. Then there exists m such that m ( x a ) > y, so x a > y m , that is x > a + y m , contradicting our hypothesis.
nabakhi72

nabakhi72

Beginner2022-08-18Added 4 answers

Step 1
Assuming m , n > 0, if you set c = a / n, then the condition becomes m b + n c m + n < c if and only if b < c .
Step 2
This shouldn't be surprising, because m b + n c m + n is a weighted average of b and c, so it lies between them.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Research Methodology

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?