Determining the form of the real solution set?

  • Thread starter Thread starter diredragon
  • Start date Start date
  • Tags Tags
    Form Set
Click For Summary
The discussion focuses on solving the inequality involving logarithmic functions, specifically ##\frac{log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x)}{log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10)} \geqslant 0##. Participants analyze the points where the numerator and denominator equal zero, identifying critical values and intervals for the solution set. They emphasize the importance of ensuring that logarithmic bases are valid and that inputs remain positive. The conversation includes suggestions for rewriting the expression using logarithmic properties and the change of base formula to simplify the problem. Ultimately, the aim is to determine the correct form of the solution set while addressing potential exclusions based on the logarithmic domain.
diredragon
Messages
321
Reaction score
15

Homework Statement


##\frac{log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x)}{log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10)} \geqslant 0 ##
The set of all real solutions to this inequality is of the form:
##(a) ## ##(a,b) \cup (b,c) ##, ##(b) ## ##(-\infty,a) \cup (c,\infty) ##, ##(c) ## ##(a,b) ##
for some real numbers ##a,b,c ## such that ##-\infty<a<b<c<+\infty ##

Homework Equations


The Attempt at a Solution


First i found the points at which the numerator and the denominator equal ##0 ##. I found that from the following:
##log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x) = 0 ##
##log_{2x^2 + 2x + 3}(x^2 - 2x) = 1 ##
##2x^2 + 2x + 3 = x^2 - 2x ##
from this quadratic equation i find that the zeros of the function are ##x_1=-3 ## and ##x_2=-1 ## and let them be ##a=-1 ## and ##b=-3 ## for now. i also found from the plot of the given quadratic equation that ##(-\infty,-3)\cup(-1,\infty) ## makes function a positiv one and the values in between ##(-3,-1) ## make it negative. I used that later for the rational number chart.
Similarly ##log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10) = 0 ##
##x^2 + 6x + 10 = 1 ##
##x = -3 ##. This function is positive for every other value.
Now using the chart of rational numbers, determining when the whole ratio is positive and when is negative i get the positive values to range from
##(-\infty,-3) \cup (-1,\infty)## which then makes my answer of the form ##(-\infty,b) \cup (a, +\infty)##.
First of all, its not given, second, its wrong. The solution is i know the ##(a) ## answer. I just don't know how to get to it. Could you help?
 
Last edited by a moderator:
Physics news on Phys.org
It looks like you have done well to eliminate the values which would drive a division by zero. However, there are other considerations you must apply to satisfy the domain for the logarithms.
First, your base may not be zero. ##\log_0## does not make any sense.
Second, if your base is positive, your input value may not be negative, ## \forall a,b>0 \log_a (-b) ## does not exist.
However, I don't think that either of these is the cause of your trouble.

I would recommend rewriting this using some log rules.

Edit: incorrect.

Remove the outer log by putting both sides of the inequality in the exponent.

Edit: incorrect.

Then take another look.
 
Last edited:
diredragon said:

Homework Statement


##\frac{log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x)}{log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10)} \geqslant 0 ##
The set of all real solutions to this inequality is of the form:
##(a) ## ##(a,b) \cup (b,c) ##, ##(b) ## ##(-\infty,a) \cup (c,\infty) ##, ##(c) ## ##(a,b) ##
for some real numbers ##a,b,c ## such that ##-\infty<a<b<c<+\infty ##

Homework Equations


3. The Attempt at a Solution [/B]
First i found the points at which the numerator and the denominator equal ##0 ##. I found that from the following:
##log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x) = 0 ##
##log_{2x^2 + 2x + 3}(x^2 - 2x) = 1 ##
##2x^2 + 2x + 3 = x^2 - 2x ##
from this quadratic equation i find that the zeros of the function are ##x_1=-3 ## and ##x_2=-1 ## and let them be ##a=-1 ## and ##b=-3 ## for now. i also found from the plot of the given quadratic equation that ##(-\infty,-3)\cup(-1,\infty) ## makes function a positiv one and the values in between ##(-3,-1) ## make it negative. I used that later for the rational number chart.
Similarly ##log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10) = 0 ##
##x^2 + 6x + 10 = 1 ##
##x = -3 ##. This function is positive for every other value.
Now using the chart of rational numbers, determining when the whole ratio is positive and when is negative i get the positive values to range from
##(-\infty,-3) \cup (-1,\infty)## which then makes my answer of the form ##(-\infty,b) \cup (a, +\infty)##.
First of all, its not given, second, its wrong. The solution is i know the ##(a) ## answer. I just don't know how to get to it. Could you help?
Please don't overly decorate your text with various font and BBCode tags if you're not sure of what you're doing. In particular, don't mix BBCode bold tags ( ) with LaTeX -- it screws up both.
 
RUber said:
It looks like you have done well to eliminate the values which would drive a division by zero. However, there are other considerations you must apply to satisfy the domain for the logarithms.
First, your base may not be zero. ##\log_0## does not make any sense.
Second, if your base is positive, your input value may not be negative, ## \forall a,b>0 \log_a (-b) ## does not exist.
However, I don't think that either of these is the cause of your trouble.

I would recommend rewriting this using some log rules.
##log_{2^{x^2 +2x+1} - 1 } ( log_{2x^2+2x+3} (x^2 - 2x ) - ( x^2 +6x + 10) ) \geq 0 ##
Remove the outer log by putting both sides of the inequality in the exponent of ##(2^{x^2+2x+1} - 1)^y ##
Then take another look.
 
RUber said:
It looks like you have done well to eliminate the values which would drive a division by zero. However, there are other considerations you must apply to satisfy the domain for the logarithms.
First, your base may not be zero. ##\log_0## does not make any sense.
Second, if your base is positive, your input value may not be negative, ## \forall a,b>0 \log_a (-b) ## does not exist.
However, I don't think that either of these is the cause of your trouble.

I would recommend rewriting this using some log rules.
##log_{2^{x^2 +2x+1} - 1 } ( log_{2x^2+2x+3} (x^2 - 2x ) - ( x^2 +6x + 10) ) \geq 0 ##
Remove the outer log by putting both sides of the inequality in the exponent of ##(2^{x^2+2x+1} - 1)^y ##
Then take another look.
So ##(2^{x^2 + 2x + 1} - 1)^y = log_{2x^2 +2x +3 }(x^2 - 2x) - (x^2 + 6x + 10) ##
 
RUber said:
It looks like you have done well to eliminate the values which would drive a division by zero. However, there are other considerations you must apply to satisfy the domain for the logarithms.
First, your base may not be zero. ##\log_0## does not make any sense.
Second, if your base is positive, your input value may not be negative, ## \forall a,b>0 \log_a (-b) ## does not exist.
However, I don't think that either of these is the cause of your trouble.

I would recommend rewriting this using some log rules.
##log_{2^{x^2 +2x+1} - 1 } ( log_{2x^2+2x+3} (x^2 - 2x ) - ( x^2 +6x + 10) ) \geq 0 ##
Remove the outer log by putting both sides of the inequality in the exponent of ##(2^{x^2+2x+1} - 1)^y ##
Then take another look.
That's not correct.

##\displaystyle \frac{log_{\,b}(A)}{log_{\,b}(C)}\neq log_{\,b}(A)-log_{\,b}(C)\ ##

However, the change of base formula may come in handy.
 
SammyS said:
That's not correct.

##\displaystyle \frac{log_{\,b}(A)}{log_{\,b}(C)}\neq log_{\,b}(A)-log_{\,b}(C)\ ##

However, the change of base formula may come in handy.
##\frac{log_{2^{x^2+2x+1}-1}(log_{2x^2 + 2x + 3}(x^2 - 2x)}{log_{2^{x^2+2x+1}-1}(x^2 + 6x + 10)} ##
This was rewritten correctly i think
##log_{2^{x^2+2x+1}-1}((log_{2x^2 + 2x + 3}(x^2 - 2x) - (x^2 + 6x + 10)) ##
 
edit: incorrect.
 
Last edited:
RUber said:
Putting both sides of the inequality into the exponent should give you something like:
##log_{2x^2 +2x +3 }(x^2 - 2x) - (x^2 + 6x + 10) \geq (2^{x^2 + 2x + 1} - 1)^0.##
Yes. It's worse than I thought. -- that is if you consider one incorrect form to be worse than another.

What RUber seems to be saying in post #2 is that ##\displaystyle \ \frac{\log_{\,b}(A)}{\log_{\,b}(C)}= \log_{\,b}(A-C)\ ##, which is absolutely wrong.

Added in Edit:

What is the case, is that ##\displaystyle \ \log_{\,b}\left(\frac{A}{C}\right)= \log_{\,b}(A)-\log_{\,b}(C)\ ##.

Also true is, ##\displaystyle \ \frac{\log_{\,b}(A)}{\log_{\,b}(C)}= \log_{\,C}(A)\ ##
 
Last edited:
  • #10
Wow-- thanks SammyS. I clearly was not paying attention.
So then using the change of base to remove the quotient, and then exponentiating to remove the logs would be one way to resolve this.
The other way would be to compare signs of the top and bottom -- but I think that simplifying would help.
 
  • #11
RUber said:
Wow-- thanks SammyS. I clearly was not paying attention.
So then using the change of base to remove the quotient, and then exponentiating to remove the logs would be one way to resolve this.
The other way would be to compare signs of the top and bottom -- but I think that simplifying would help.
RUber, you're right. Considerable simplification can be done. Also, as you point out, attention must be paid to several details.

The "outer' logarithm in numerator has the same base as the logarithm in the denominator, so a change of base is in order. That leaves us with the log of a log to compare with zero.

As you point out, the base of any of these logarithms must be positive and must not equal 1 . That does eliminate at least one x value and may give OP his value for b, the deleted point.
 
  • #12
SammyS said:
RUber, you're right. Considerable simplification can be done. Also, as you point out, attention must be paid to several details.

The "outer' logarithm in numerator has the same base as the logarithm in the denominator, so a change of base is in order. That leaves us with the log of a log to compare with zero.

As you point out, the base of any of these logarithms must be positive and must not equal 1 . That does eliminate at least one x value and may give OP his value for b, the deleted point.
So you suggest rewritting to ##\log_{x^2 + 6x + 10} ( \log_{2x^2 + 2x + 3} (x^2 - 2x) ) \ge 0##
 
  • #13
That's right. And solve that like you did for the polynomial in your first post. Pay attention to the inequality. Finally, check for any values that must be excluded from the original form of the problem.
 
  • #14
RUber said:
That's right. And solve that like you did for the polynomial in your first post. Pay attention to the inequality. Finally, check for any values that must be excluded from the original form of the problem.
i went on like this ##\log_{x^2 + 6x + 10} ( \log_{2x^2 + 2x + 3} (x^2 - 2x) ) \ge 0##, ##\log_{2x^2 + 2x + 3} (x^2 - 2x) \ge 1##, ##2x^2 + 2x + 3 \ge x^2 - 2x##, ##x_1 = -3, x_2 = -1##, also from the change of base formula it is necessary that ##x^2 + 6x + 10 \neq 1## giving same results and that ##2^{x^2 +2x + 1} - 1 \neq 1 ## giving ##x_3=0, x_4=-2##
what to do with these results?
 
  • #15
diredragon said:
i went on like this ##\log_{x^2 + 6x + 10} ( \log_{2x^2 + 2x + 3} (x^2 - 2x) ) \ge 0##, ##\log_{2x^2 + 2x + 3} (x^2 - 2x) \ge 1##, ##2x^2 + 2x + 3 \ge x^2 - 2x##, ##x_1 = -3, x_2 = -1##, also from the change of base formula it is necessary that ##x^2 + 6x + 10 \neq 1## giving same results and that ##2^{x^2 +2x + 1} - 1 \neq 1 ## giving ##x_3=0, x_4=-2##
what to do with these results?
What does ## \displaystyle \ 2^{x^2 +2x + 1} - 1 = 1\ ## imply regarding your initial expression (prior to doing the charge of base)?
 
  • #16
it implies ##\log_{2x^2 + 2x + 3} (x^2 - 2x) = x^2 + 6x + 10 = 1## the base is 1, so it must be 1.
 
  • #17
diredragon said:
it implies ##\log_{2x^2 + 2x + 3} (x^2 - 2x) = x^2 + 6x + 10 = 1## the base is 1, so it must be 1.
But log1 is not defined as a function.
 
  • #18
diredragon said:
i went on like this ##\log_{x^2 + 6x + 10} ( \log_{2x^2 + 2x + 3} (x^2 - 2x) ) \ge 0##, ##\log_{2x^2 + 2x + 3} (x^2 - 2x) \ge 1##, ##2x^2 + 2x + 3 \ge x^2 - 2x##, ##x_1 = -3, x_2 = -1##, also from the change of base formula it is necessary that ##x^2 + 6x + 10 \neq 1## giving same results and that ##2^{x^2 +2x + 1} - 1 \neq 1 ## giving ##x_3=0, x_4=-2##
what to do with these results?
Was the appropriate range for the inequality ##(x_1, x_2)## or ##( -\infty , x_1)\cup ( x_2, \infty)##?
Depending on which interval you choose, only one of ##x_3, x_4## would be excluded from the solution set.
Edit
It looks like you have the wrong inequality...
##\log_{2x^2 + 2x + 3} (x^2 - 2x) \ge 1##, and ##2x^2 + 2x + 3 \ge x^2 - 2x## are not consistent.
To remove the log, you are doing:
##(2x^2 + 2x + 3)^{\log_{2x^2 + 2x + 3} (x^2 - 2x)} \ge (2x^2 + 2x + 3)^1##
Which should give you:
##x^2 - 2x \ge 2x^2 + 2x + 3##.
This will give you the appropriate interval for the solution once you remove your excluded point.
 
  • #19
RUber said:
Was the appropriate range for the inequality ##(x_1, x_2)## or ##( -\infty , x_1)\cup ( x_2, \infty)##?
Depending on which interval you choose, only one of ##x_3, x_4## would be excluded from the solution set.
Edit
It looks like you have the wrong inequality...
##\log_{2x^2 + 2x + 3} (x^2 - 2x) \ge 1##, and ##2x^2 + 2x + 3 \ge x^2 - 2x## are not consistent.
To remove the log, you are doing:
##(2x^2 + 2x + 3)^{\log_{2x^2 + 2x + 3} (x^2 - 2x)} \ge (2x^2 + 2x + 3)^1##
Which should give you:
##x^2 - 2x \ge 2x^2 + 2x + 3##.
This will give you the appropriate interval for the solution once you remove your excluded point.
you are right, i have made a wrong inequality. so ##x^2 - 2x \ge 2x^2 + 2x + 3## giving me ##x_1 = -1, x_2=-3##. now since i get from the change of base formula that ##x^2 - 2x > 1## and i have what i have written above can i put the x-es i get to see which is excluded? i get by those means the ##-1, -2, -3## fit while ##0## should be excluded. I don't know if you can do it this way
 
  • #20
SammyS said:
But log1 is not defined as a function.
then it implies that the initial inequality involves undefined functions...what else could it be
 
  • #21
diredragon said:
you are right, i have made a wrong inequality. so ##x^2 - 2x \ge 2x^2 + 2x + 3## giving me ##x_1 = -1, x_2=-3##. now since i get from the change of base formula that ##x^2 - 2x > 1## and i have what i have written above can i put the x-es i get to see which is excluded? i get by those means the ##-1, -2, -3## fit while ##0## should be excluded. I don't know if you can do it this way
I am not sure I understand what you mean.

From the inequality ##x^2 - 2x \ge 2x^2 + 2x + 3##, you should get an interval which satisfies the condition, not just two x values.

From the condition that the base of a log cannot be 1 or 0, you get single excluded values (x1,x2,x3,x4), which you have found to be -3, -2, -1, 0. Two of those are the endpoints of your interval, and one of the other two is included in that interval.
 
  • Like
Likes diredragon
  • #22
diredragon said:
then it implies that the initial inequality involves undefined functions...what else could it be
Right!

It's undefined for what ever value of x makes ##\displaystyle \ 2^{x^2 +2x + 1} - 1 = 1\,,\ ## because then you have an expression with log1 in it.

You really should look carefully at the possible values for the base of each of your logarithms, looking for any possibly problem values.
 
  • #23
Ok, so ##0## makes it undefined. Other vakues are ok i guess. So i would pick ##(a,b) \cup (b,c)## it has three values so only because of that i would choose it.
 
  • #24
diredragon said:
Ok, so ##0## makes it undefined. Other values are ok i guess. So i would pick ##(a,b) \cup (b,c)## it has three values so only because of that i would choose it.

Yes, ## \displaystyle \ 2^{x^2 +2x + 1} - 1\ ## evaluated at x = 0 is 1, if that's what you mean. However, x = 0 should not be part of your potential solution set anyway (that is if you are following RUber).

Is there any other way to get 21 - 1 , or worse yet, 20 - 1 ?So, what are your values for a, b, and c, and are you sure that there are no other issues there?
 
Last edited:
  • Like
Likes diredragon
  • #25
I redid the problem again and i think i undestand it now. The solution is ##(-3, -2) \cup (-2, -1) ## with a gap in ##-2 ## because the base there is ##1 ##.
The expression ##x^2 - 2x \ge 2x^2 + 2x + 3 ## holds for numbers between ## -3, -1 ## any subtleties i might have missed?
 
Last edited:
  • Like
Likes RUber
  • #26
diredragon said:
I redid the problem again and i think i undestand it now. The solution is ##(-3, -2) \cup (-2, -1) ## with a gap in ##-2 ## because the base there is ##1 ##.
The expression ##x^2 - 2x \ge 2x^2 + 2x + 3 ## holds for numbers between ## -3, -1 ## any subtleties i might have missed?
That appears to be the correct answer.

Are there any other subtleties?

Well, none that change the final answer, but there are some additional items to consider.

Some details:
##\displaystyle \ x^2 - 2x \ge 2x^2 + 2x + 3 \ ## holds for x in the interval ##\ \left[ -3,\, -1 \right] \ ##.

We've covered the reason for deleting ##-2## from that interval. Why are the end points also deleted?.

Well, previously mentioned is that ##\displaystyle \ 2^{x^2 +2x + 1} - 1 ## evaluates to 0 at ##\ x=-1\ ## and to 1 at ##\ x=-2,\,0\ ##.

What's up with ##\ -3\ ##? Look at ##\ x^2+6x+10 \ ##..While you're at it, consider any problems associated with ##\ 2x^2 + 2x + 3 \ ## as the base for a logarithm.
 
Last edited:
  • Like
Likes diredragon

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K