Prove: a^x|b^y & xt-yz\geq 0 then a^z|b^t

  • Thread starter AdrianZ
  • Start date
In summary, the statement "a^x|b^y & xt-yz\geq 0 then a^z|b^t" can be proven using proof by contradiction. The notation "a^x|b^y" means that a^x is a factor of b^y, and the condition "xt-yz\geq 0" ensures that the exponents of a and b are positive. The statement holds for all values of x, y, z, and t that satisfy this condition and can be generalized to any other exponents or variables.
  • #1
AdrianZ
319
0
If [tex]a^x|b^y[/tex] & [tex]xt-yz\geq 0[/tex] then [tex]a^z|b^t[/tex]

This is not a homework. I found this theorem in a book without having proved it, so I wondered how it could be proved.
 
Physics news on Phys.org
  • #2
The trick is to realize that:

if xt >= yz, then b^(yz) | b^(xt)
 

FAQ: Prove: a^x|b^y & xt-yz\geq 0 then a^z|b^t

How can we prove the statement "a^x|b^y & xt-yz\geq 0 then a^z|b^t"?

The statement can be proven using proof by contradiction. We assume that the statement is false and then show that it leads to a contradiction, which proves that the statement must be true.

What does the notation "a^x|b^y" mean in the statement?

The notation "a^x|b^y" means that a^x is a factor of b^y, or in other words, b^y is divisible by a^x without any remainder.

Can you explain the significance of the condition "xt-yz\geq 0" in the statement?

The condition "xt-yz\geq 0" ensures that the exponents of a and b in the statement are positive, which is necessary for the statement to be true. It also helps in simplifying the proof by eliminating certain cases where the statement may not hold.

Is there a specific value for x, y, z, and t that makes the statement true?

No, the statement holds for all values of x, y, z, and t that satisfy the condition "xt-yz\geq 0". This means that the statement is true for a wide range of values and is not limited to specific numbers.

Can the statement be generalized to any other exponents or variables?

Yes, the statement can be generalized to any exponents or variables as long as the condition "xt-yz\geq 0" is satisfied. This means that the statement can be applied to a variety of mathematical equations and is not limited to a specific set of variables.

Back
Top