Group Abstract Group Abstract

Message Boards Message Boards

0
|
197 Views
|
5 Replies
|
4 Total Likes
View groups...
Share
Share this post:

Interval boundary m when a quadratic has min 2 and max 3

Jim Clinton
Posted 5 days ago

The question is: enter image description here

f[x_] := x^2 - 2 x + 3
Reduce[ForAll[x, 0 <= x <= m, 2 <= f[x] <= 3]]

The code above produces an incorrect result.

m <= 2

The accurate result is given below. How should the code be modified to match it?

1 <= m <= 2
POSTED BY: Jim Clinton
5 Replies
Sort By:

I cannot see how 1 figures into this as a lower bound on m. Based on the wording of the question and the math. Only 2 seems relevant.

POSTED BY: Daniel Lichtblau

When 0<=m<1 the minimum value is larger than 2.
POSTED BY: Gianluca Gorni

You could translate "minimum value" as MinValue[...] and "maximum value" as MaxValue[...]. Then the problem can be formulated as follows:

Reduce[{
  MinValue[{x^2 - 2 x + 3, 0 <= x <= m}, x] == 2,
  MaxValue[{x^2 - 2 x + 3, 0 <= x <= m}, x] == 3},
 {m}, Reals]
POSTED BY: Michael Rogers

I would do it this way:

Reduce[ForAll[x, 0 <= x <= m, 2 <= f[x] <= 3] && 
  Exists[x, 0 <= x <= m, 2 == f[x]] && 
  Exists[x, 0 <= x <= m, f[x] == 3]]
POSTED BY: Gianluca Gorni
Jim Clinton
Jim Clinton
Posted 3 days ago

Good. Address the problem with universal and existential quantifiers, along with two additional existence constraints.
POSTED BY: Jim Clinton
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Tag limit exceeded
Note: Only the first five people you tag will receive an email notification; the other tagged names will appear as links to their profiles.
Reply Preview
Attachments
Remove
or Discard