I want to prove the following result: If $a_1, ..., a_{n+1} \in \mathbb{R}_{\geq 0}$ ($n \geq 2$) are non-negative real numbers such that $a_{n+1} \geq a_i$ for each $i = 1, ..., n$ and we have $a_1 + a_2 + a_3 + \cdot \cdot \cdot + a_{n+1} = 1$, then the set $\{a_1, ..., a_n\}$ can be partitioned into two disjoint classes such that the sum of each class does not exceed $\frac{1}{2}$. I came up with a proof of my own but it's different from the one on the book so i want to know if i did something wrong... So let's start: First suppose that $n+1$ is even, so we have $n+1 = 2k$ for some positive integer $k$ (note that $k \geq 2$). Now i can wlog reorder my $a_i$ ($i = 1, ..., n$) in a way such that i have $a_1 \leq a_2 \leq \cdot \cdot \cdot \leq a_{2k}$. Now notice that $a_1 + a_3 + \cdot \cdot \cdot + a_{2k-1} \leq a_2 + a_4 + \cdot \cdot \cdot + a_{2k}$ and so, adding the quantity $a_1 + a_3 + \cdot \cdot \cdot + a_{2k-1}$ on both sides and using the hypotesis $\sum_{i=1}^{n+1} a_i = 1$ i obtain $a_1 + a_3 + \cdot \cdot \cdot + a_{2k-1} \leq 0.5$. Now just note that $a_2 + a_4 + \cdot \cdot \cdot + a_{2k-2} \leq a_3 + a_5 + \cdot \cdot \cdot + a_{2k-1} \leq 0.5$. So the partition $\{ a_1, a_3, ..., a_{2k-1}\}$, $\{a_2, a_4, ..., a_{2k-2}\}$ is what we were looking for. If n + 1 is odd then the proof is identical. (i can write it if you really need it)
2026-03-29 14:20:14.1774794014
Partitioning a finite set of real numbers into two disjoint classes whose sum is less than 1/2
34 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in ALGEBRA-PRECALCULUS
- How to show that $k < m_1+2$?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Finding the value of cot 142.5°
- Why is the following $\frac{3^n}{3^{n+1}}$ equal to $\frac{1}{3}$?
- Extracting the S from formula
- Using trigonometric identities to simply the following expression $\tan\frac{\pi}{5} + 2\tan\frac{2\pi}{5}+ 4\cot\frac{4\pi}{5}=\cot\frac{\pi}{5}$
- Solving an equation involving binomial coefficients
- Is division inherently the last operation when using fraction notation or is the order of operation always PEMDAS?
- How is $\frac{\left(2\left(n+1\right)\right)!}{\left(n+1\right)!}\cdot \frac{n!}{\left(2n\right)!}$ simplified like that?
- How to solve algebraic equation
Related Questions in INEQUALITY
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- Prove or disprove the following inequality
- Proving that: $||x|^{s/2}-|y|^{s/2}|\le 2|x-y|^{s/2}$
- Show that $x\longmapsto \int_{\mathbb R^n}\frac{f(y)}{|x-y|^{n-\alpha }}dy$ is integrable.
- Solution to a hard inequality
- Is every finite descending sequence in [0,1] in convex hull of certain points?
- Bound for difference between arithmetic and geometric mean
- multiplying the integrands in an inequality of integrals with same limits
- How to prove that $\pi^{e^{\pi^e}}<e^{\pi^{e^{\pi}}}$
- Proving a small inequality
Related Questions in SOLUTION-VERIFICATION
- Linear transform of jointly distributed exponential random variables, how to identify domain?
- Exercise 7.19 from Papa Rudin: Gathering solutions
- Proof verification: $\forall n \in \mathbb{Z}, 4\nmid(n^2+2)$
- Proof verification: a function with finitely many points of discontinuity is Riemann integrable
- Do Monoid Homomorphisms preserve the identity?
- Cantor-Lebesgue's theorem
- If $a$ is an integer, prove that $\gcd(14a + 3, 21a + 4) = 1$.
- Number theory gcd
- $|G| > 1$ and not prime implies existence of a subgroup other than two trivial subgroups
- Prove/Disprove: Sum of im/ker of linear transformation contained in ker/im of each linear trasnfromation
Related Questions in REAL-NUMBERS
- How to prove $\frac 10 \notin \mathbb R $
- Possible Error in Dedekind Construction of Stillwell's Book
- Is the professor wrong? Simple ODE question
- Concept of bounded and well ordered sets
- Why do I need boundedness for a a closed subset of $\mathbb{R}$ to have a maximum?
- Prove using the completeness axiom?
- Does $\mathbb{R}$ have any axioms?
- slowest integrable sequence of function
- cluster points of sub-sequences of sequence $\frac{n}{e}-[\frac{n}{e}]$
- comparing sup and inf of two sets
Related Questions in SET-PARTITION
- Existence of a denumerble partition.
- Given N sets of partitions, find a partition such that it satisfies a criterion
- Given a decreasing family of sets and partitions with a refinement condition, is there a monotonous choice function from the partitions?
- Partition of an $n$-element set such that the smallest component has at least $k$ elements?
- Number of equivalence relations on a set with $kn$ elements with the condition that each equivalence class has n elements
- Is there a similar notion of cycle type commonly in use for finite partitions, where instead of cycle sizes one counts the block sizes?
- Is it possible to construct two subsequences of a sequence X with specific properties such that the two subsequence sums are the same?
- Coloring $\mathbb{R}^2$ and single-colored paths
- A homework problem about set theory
- Canonical name for the partition that a partition of a set induces on its subsets
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?