The discussion focuses on proving the inequality z' <= z using the transformation z' = g(z) = f*z / (f-n) - f*n / (f-n), where f and n are non-negative constants defining the interval [n, f]. The participants explore the approach of assuming the opposite of the desired inequality and attempting to derive a contradiction. This method is a common technique in mathematical proofs, particularly in inequalities involving transformations.
PREREQUISITESMathematicians, students studying algebra and inequalities, and anyone interested in proof techniques and mathematical transformations.
One way I suppose you could do it is by saying the opposite, and then try to prove yourself wrong:eckiller said:I have the transformation:
z' = g(z) = f*z / (f-n) - f*n / (f-n)
f >= 0 , n>= 0 constants that define an interval [n, f].
I want to prove, z' <= z.