Integer Inequality Homework: Proving Existence of Integer m

  • Thread starter Thread starter annoymage
  • Start date Start date
  • Tags Tags
    Integer
Click For Summary

Homework Help Overview

The problem involves proving the existence of an integer \( m \) that satisfies certain inequalities given positive integers \( a \), \( b \), and a real number \( c \) constrained by \( -a < c < b \).

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to use contradiction and considers the set \( S \) of integers within the bounds of \( -a \) and \( b \). They express uncertainty about their approach and seek hints. Another participant suggests defining a set \( A \) of integers greater than or equal to \( c \) and argues that this set is nonempty and bounded below, leading to the existence of a minimal element.

Discussion Status

Participants are exploring different approaches to establish the existence of the integer \( m \). Some guidance has been offered regarding the properties of the set \( A \) and its minimal element, but there is no explicit consensus on the best method yet.

Contextual Notes

There is a discussion about modifying the conditions of the set \( A \) and clarifying the inequalities involved, indicating that participants are questioning the assumptions and definitions used in their reasoning.

annoymage
Messages
360
Reaction score
0

Homework Statement

let a,b be positive integer , c is real number, and -a&lt;c&lt;b

i want to show there exist integer m, -a \leq m \leq b such that m-1 \leq c&lt;m

i don't know any easy method, but this is where i got now,

Let set S=[m|-a \leq m \leq b]

So by contradiction,

suppose that for all m in S, m \leq c or m-1&gt;c

If m \leq c for all m in S, then i know b is in S, means b \leq c which contradict c&lt;b,

If m-1&gt;c for all m in S and i stuck somewhere. Any hint T_T, or easier any easier method, I'm thinking of well ordering principle, but it i can't see it for now
 
Physics news on Phys.org
Take the set

A=\{n\in \mathbb{Z}~\vert~n\geq c\}

Show that A is nonempty and bounded by below. This implies that A has a minimal element m. Show that this m satisfies all your conditions.
 
hmm then i got

<br /> m-1 \leq c \leq m it's not the same as <br /> m-1 \leq c&lt;m right?
 
Remove the \geq and replace it with a > sign. Well when you apply the modified suggestion given you should get c &lt; n_0. Since n_0 is the smallest integer with this property we know that n_0 -1 \leq c &lt; n_0.
 
you mean this right? <br /> A=\{n\in \mathbb{Z}~\vert~n&gt; c\} <br />

thanks you soo much
 
Yes. :-)
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K