I have trouble in proving the following statement: Let $n$ be an integer no less than 3, and $a_1,\dots, a_n$ be real numbers. If $n$ is even, then \begin{align*} &\min\{a_1,a_2,a_3\}+\min\{a_1,a_2,a_4\}+\cdots +\min\{a_{n-2}, a_{n-1},a_n\}\\ &+\min\{a_1,\dots, a_5\}+\min\{a_2,\dots, a_6\}+\cdots+\min\{a_{n-4},\dots, a_n\}\\ &+\cdots +\min\{a_1,\dots, a_{n-1}\}+\cdots +\min\{a_2,\dots, a_n\}\\ &+\min\{a_2+\cdots+a_n, a_1+\widehat{a_2}+\cdots +a_n,\dots, a_1+\cdots +a_{n-1}+\widehat{a_n}\}\\ =&\min\{a_1,a_3\}+\min\{a_1,a_4\}+\cdots+\min\{a_{n-1},a_n\}\\ &+\min\{a_1,\dots, a_4\}+\min\{a_1,a_2,a_3,a_5\}+\cdots +\min\{a_{n-3},\dots, a_n\}\\ &+\cdots+\min\{a_1,\dots, a_{n}\},\tag{1} \end{align*} where the notation $\widehat{a_2}$ means that number $a_2$ is deleted. If $n$ is odd, then \begin{align*} &\min\{a_1,a_2,a_3\}+\min\{a_1,a_2,a_4\}+\cdots +\min\{a_{n-2}, a_{n-1},a_n\}\\ &+\min\{a_1,\dots, a_5\}+\min\{a_2,\dots, a_6\}+\cdots+\min\{a_{n-4},\dots, a_n\}\\ &+\cdots +\min\{a_1,\dots, a_n\}\\ &+\min\{a_2+\cdots+a_n, a_1+\widehat{a_2}+\cdots +a_n,\dots, a_1+\cdots +a_{n-1}+\widehat{a_n}\}\\ =&\min\{a_1,a_3\}+\min\{a_1,a_4\}+\cdots+\min\{a_{n-1},a_n\}\\ &+\min\{a_1,\dots, a_4\}+\min\{a_1,a_2,a_3,a_5\}+\cdots +\min\{a_{n-3},\dots, a_n\}\\ &+\cdots+\min\{a_1,\dots, a_{n-1}\}+\cdots+\min\{a_2,\dots, a_n\}.\tag{2} \end{align*} For instance, if $n=5,$ then \begin{align*} &\min\{a_1,a_2,a_3\}+\min\{a_1,a_2,a_4\}+\min\{a_1,a_2,a_5\}+\min\{a_1,a_3,a_4\}\\ &+\min\{a_1,a_3,a_5\}+\min\{a_1,a_4,a_5\}+\min\{a_2,a_3,a_4\}+\min\{a_2,a_3,a_5\}\\ &+\min\{a_2,a_4,a_5\}+\min\{a_3,a_4,a_5\}+\min\{a_1,\dots, a_5\}\\ &+\min\{a_2a_3a_4a_5,a_1a_3a_4a_5,a_1a_2a_4a_5,a_1a_2a_3a_5,a_1a_2a_3a_4\}\\ =&\min\{a_1,a_2\}+\min\{a_1,a_3\}+\min\{a_1,a_4\}+\min\{a_1,a_5\}+\min\{a_2,a_3\}\\ &+\min\{a_2,a_4\}+\min\{a_2,a_5\}+\min\{a_3,a_4\}+\min\{a_3,a_5\}+\min\{a_4,a_5\}\\ &+\min\{a_1,a_2,a_3,a_4\}+\min\{a_1,a_2,a_3,a_5\}+\min\{a_1,a_2,a_4,a_5\}\\ &+\min\{a_1,a_3,a_4,a_5\}+\min\{a_2,a_3,a_4,a_5\},\tag{3} \end{align*} while if $n=4,$ then \begin{align*} &\min\{a_1,a_2,a_3\}+\min\{a_1,a_2,a_4\}+\min\{a_1,a_3,a_4\}+\min\{a_2,a_3,a_4\}\\ &+\min\{a_2a_3a_4, a_1a_3a_4, a_1a_2a_4,a_1a_2a_3\}\\ =&\min\{a_1,a_2\}+\min\{a_1,a_3\}+\min\{a_1,a_4\}+\min\{a_2,a_3\}\\ &+\min\{a_2,a_4\}+\min\{a_3,a_4\}+\min\{a_1,\dots,a_4\}.\tag{4} \end{align*} Since (3) and (4) are both transpositionally symmetrical, and cyclically symmetrical, it is easy to prove (3) and (4), by just considering the case that $a_1\leq a_2\leq \cdots \leq a_5.$ But it is not so for (1) and (2). Who can help me? Or is there easier proof of (1) and (2)? I want to use these identities to prove an identity of GCD in elementary number theory, that is, \begin{gather*} \gcd\left(a_2a_3\cdots a_n, a_1a_3\cdots a_n,\dots, a_1\cdots a_{n-1}\right)=\cdots. \end{gather*}
2026-03-25 04:41:46.1774413706
How to prove the minimum identity for finite number of real numbers
41 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in ELEMENTARY-NUMBER-THEORY
- Maximum number of guaranteed coins to get in a "30 coins in 3 boxes" puzzle
- Interesting number theoretical game
- How do I show that if $\boldsymbol{a_1 a_2 a_3\cdots a_n \mid k}$ then each variable divides $\boldsymbol k $?
- Using only the digits 2,3,9, how many six-digit numbers can be formed which are divisible by 6?
- Algebra Proof including relative primes.
- How do I show that any natural number of this expression is a natural linear combination?
- Counting the number of solutions of the congruence $x^k\equiv h$ (mod q)
- algebraic integers of $x^4 -10x^2 +1$
- What exactly is the definition of Carmichael numbers?
- Number of divisors 888,888.
Related Questions in ORDER-THEORY
- Some doubt about minimal antichain cover of poset.
- Partially ordered sets that has maximal element but no last element
- Ordered set and minimal element
- Order relation proof ...
- Lexicographical covering of boolean poset
- Every linearly-ordered real-parametrized family of asymptotic classes is nowhere dense?
- Is there a name for this property on a binary relation?
- Is the forgetful functor from $\mathbf{Poset}$ to $\mathbf{Set}$ represented by the object 2?
- Comparing orders induced by euclidean function and divisibility in euclidean domain
- Embedding from Rational Numbers to Ordered Field is Order Preserving
Related Questions in MAXIMA-MINIMA
- optimization with strict inequality of variables
- Minimum value of a complex expression involving cube root of a unity
- Calculation of distance of a point from a curve
- Find all local maxima and minima of $x^2+y^2$ subject to the constraint $x^2+2y=6$. Does $x^2+y^2$ have a global max/min on the same constraint?
- Solving discrete recursion equations with min in the equation
- Trouble finding local extrema of a two variable function
- Why do I need boundedness for a a closed subset of $\mathbb{R}$ to have a maximum?
- Find the extreme points of the function $g(x):=(x^4-2x^2+2)^{1/2}, x∈[-0.5,2]$
- Maximizing triangle area problem
- Find the maximum volume of a cylinder
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?