Logarithm Problem: Prove xy = 5 | Homework Help

  • Thread starter Thread starter Michael_Light
  • Start date Start date
  • Tags Tags
    Logarithm
Click For Summary
The discussion centers on proving that xy = 5 given the equation 3log5(xy^2) + log5(x) = 4 + 2log5(y). Participants emphasize that one cannot assume xy = 5 as a starting point; instead, it must be derived from manipulating the original equation. They clarify that proving xy = 5 is necessary requires showing it as the only solution, not just a valid one. The importance of restricting x and y to positive values is highlighted, as logarithmic properties do not hold for non-positive numbers. Ultimately, the consensus is that a rigorous approach involves demonstrating that xy = 5 is the sole solution through logarithmic manipulation.
Michael_Light
Messages
112
Reaction score
0

Homework Statement



Given 3log5 xy2 + log5x = 4+2log5y, prove xy = 5.

Homework Equations


The Attempt at a Solution



Can i prove like this? Or i must use 3log5 xy2 + log5x = 4+2log5y to prove xy=5? Meaning my final result must be xy = 5? Please enlighten me..

Mathematics 3.png
 
Physics news on Phys.org
It is a correct proof if you add the condition that both x and y are greater then 0, just to be strict.

ehild
 
I don't get it. You use xy=5, to prove that relationship.

But you must do the opposite. You must use that relationship to prove xy=5. That means that you can't start from assuming xy=5. You must prove it.
 
Technically, you've proven that xy = 5 satisfies the equation (that xy = 5 is sufficient). However, I believe the question is asking you to prove that xy = 5 is the only solution (that xy = 5 is necessary).

You'd be better advised to just manipulate the equation with the laws of logs until you get the required result. It's quite simple.
 
micromass said:
I don't get it. You use xy=5, to prove that relationship.

But you must do the opposite. You must use that relationship to prove xy=5. That means that you can't start from assuming xy=5. You must prove it.

Beat me to the punch. :-p
 
I have problems with the meaning of the sentence "prove xy=5" Can not it be understood as "prove xy=5 is solution of the equation"? When we solve an equation, we substitute the result back to see if it is really a solution.

I think the other procedure, starting from the original equation would correspond to the task: "prove that xy=5 follows from equation
3 log5 xy2 + log5 x = 4+2 log5 y ".

ehild
 
Curious3141 said:
Technically,

you've proven that xy = 5 satisfies the equation
(that xy = 5 is sufficient).
\text{If xy = 5 is known to be true, then it}
\text{is necessary as part (or all) of the answer.}



However, I believe the question is asking you to prove that xy = 5 is the only solution
(that xy = 5 is necessary).

\text{If xy = 5 is the only solution, then that would be sufficient, because it would suffice.}

....
 
ehild said:
I have problems with the meaning of the sentence "prove xy=5" Can not it be understood as "prove xy=5 is solution of the equation"? When we solve an equation, we substitute the result back to see if it is really a solution.

I think the other procedure, starting from the original equation would correspond to the task: "prove that xy=5 follows from equation
3 log5 xy2 + log5 x = 4+2 log5 y ".

ehild

The way the question is phrased, viz. *Given* that equation (call this proposition P), *prove* xy=5 (call this proposition Q) indicates that one must establish P \Rightarrow Q.

Substituting xy = 5 back into the equation only establishes Q \Rightarrow P. I don't think this is sufficient.

And, just to be pedantic, when one solves an equation, one tries to find all solutions (or at least all solutions within a defined range) that satisfy an equation. Substituting values back into an equation to see that LHS = RHS is essentially verifying that those values are solutions, not solving the equation. :smile:
 
checkitagain said:
....

Sorry, your post is unclear, and I can't even tell if you're agreeing with me. But see my reply to ehild's post.
 
  • #10
Curious3141 said:
Technically, you've proven that xy = 5
satisfies the equation (that xy = 5 is sufficient). However,
I believe the question is asking you to prove that xy = 5 is
the only solution (that xy = 5 is necessary).

Here is my take:


To prove that xy = 5 is the only solution, does it suffice to show
that xy = 5 ? No, but it is necessary that xy = 5.

Suppose it is shown that xy = 5 satisfies the equation. It would
be sufficient to show that no other solution satisfies the equation
in order to prove that xy = 5 is the only solution.
 
  • #11
checkitagain said:
Here is my take:


To prove that xy = 5 is the only solution, does it suffice to show
that xy = 5 ? No, but it is necessary that xy = 5.

Suppose it is shown that xy = 5 satisfies the equation. It would
be sufficient to show that no other solution satisfies the equation
in order to prove that xy = 5 is the only solution.

OK, so how would you show there are no other solutions?
 
  • #12
To illustrate my point, if I posed a question like this:

Given \log_5{x} + \log_5{y} = \frac{1}{\log_5{x} + \log_5{y}} prove that xy = 5,

it would actually be an incorrect question. Because it doesn't allow for the possibility that xy = \frac{1}{5}, also a valid solution.

However, if I posed the question like this:

Verify that xy = 5 satisfies the equation \log_5{x} + \log_5{y} = \frac{1}{\log_5{x} + \log_5{y}},

that would be perfectly alright and the OP's method would be completely valid.

It's not the best example, but it's the best argument I could come up with while suffering from a bad cold. :-p
 
  • #13
Curious3141 said:
OK, so how would you show there are no other solutions?

After using logarithmic and expontial rules, one of the steps
I got to is:

(xy)^4 = 5^4


I see that xy = 5 works (with the acceptable ranges of x and y).



Then I would show that all of the remaining cases

xy = -5, xy = 5i, and xy = -5i fail to satisfy the equation,
when taking into account the permissible real values for x and y.




Note: I left this forum for the night.
 
  • #14
checkitagain said:
After using logarithmic and expontial rules, one of the steps
I got to is:

(xy)^4 = 5^4I see that xy = 5 works (with the acceptable ranges of x and y).
Then I would show that all of the remaining cases

xy = -5, xy = 5i, and xy = -5i fail to satisfy the equation,
when taking into account the permissible real values for x and y.

Note: I left this forum for the night.

OK, I suppose that's fair enough. I guess any rigorous method one uses to solve this problem would involve observing that x and y should be restricted to positive values. It's probably easier to just state that at the start, as ehild suggests instead of seeking then excluding imaginary solutions after the fact.
 
Last edited:
  • #15
Curious3141 said:
And, just to be pedantic, when one solves an equation, one tries to find all solutions (or at least all solutions within a defined range) that satisfy an equation. Substituting values back into an equation to see that LHS = RHS is essentially verifying that those values are solutions, not solving the equation. :smile:

Thanks Curious. I know that you are right, I just quibble ... :smile: But it is usual in high-school Maths when showing that two relations P an G are equivalent that we say: we got Q from P through equivalence relations, so the proof works backwards, too. Applying the same relations in the opposite order we would get also Q→P.

To admit the truth, it is not the case here. xy=5 follows from the equation supposed it is valid, that is, both x and y are positive, but not vice versa. The last step of the proof log x +log y →log(xy), is true, but log(xy)→log x+log y is not without excluding non-positive x, y values.

To show that there is only one solution of the original equation it is enough to refer that it is linear in the logarithms and logarithm is a monotonous function:lg(x)=log(a)→x=a Proving that xy=5 is solution means also that it is the only solution. ehild
 
Last edited:
  • #16
Michael_Light said:

Homework Statement



Given 3log5 xy2 + log5x = 4+2log5y, prove xy = 5.

Homework Equations





The Attempt at a Solution



Can i prove like this? Or i must use 3log5 xy2 + log5x = 4+2log5y to prove xy=5? Meaning my final result must be xy = 5? Please enlighten me..

View attachment 42605

This problem is not difficult :

Just solve 3log5 xy2 + log5x = 4+2log5y using law : log a + log b = log ab

You will surely get your way out easily rather than doing opposite...
See post #2 also.
 
  • #17
ehild said:
Thanks Curious. I know that you are right, I just quibble ... :smile: But it is usual in high-school Maths when showing that two relations P an G are equivalent that we say: we got Q from P through equivalence relations, so the proof works backwards, too. Applying the same relations in the opposite order we would get also Q→P.

To admit the truth, it is not the case here. xy=5 follows from the equation supposed it is valid, that is, both x and y are positive, but not vice versa. The last step of the proof log x +log y →log(xy), is true, but log(xy)→log x+log y is not without excluding non-positive x, y values.

To show that there is only one solution of the original equation it is enough to refer that it is linear in the logarithms and logarithm is a monotonous function:lg(x)=log(a)→x=a Proving that xy=5 is solution means also that it is the only solution. ehild

Good point. Actually, if one wishes to consider logs of negative numbers, both ways can be iffy, depending on how one defines the log. Considering only principal values of the natural logs, \ln(-1) = i\pi and \ln1 = 0 (the latter as usual).

Even \log x + \log y = \log{xy} doesn't work out as 2\ln(-1) = 2{\pi}i \neq 0 = \ln1. And going the other way (splitting it up) similarly doesn't work if we want to write 0 = \ln1 \neq 2{\pi}i = 2\ln(-1).

I understand this, and I guess I was tacitly assuming that we were working with positive x,y (since this is at the elementary level). But it's better to state this explicitly, as you suggested. And the "resubstituting" (verifying) sort of solution is fine if (as you suggest), it's made rigorous by observing that logs are one-to-one.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
32
Views
4K