Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Setting
The paper normalizes a polynomial with simple, equally spaced, real zeros by a change of scale to one of two forms (p. 293). Odd degree :
with zeros at the integers and centre of symmetry . Even degree , :
with zeros at the integers and centre of symmetry . By symmetry the paper states its results for positive . An arch is the part of the graph between two consecutive zeros.
Statement
Statement (I) (p. 294). Let be a non-integer with . Then
Consequently the areas, and the maxima, under the successive arches of and of , for , each form an increasing sequence.
The paper notes (p. 293) that this arch-to-arch monotonicity, for a fixed polynomial, does not depend on the normalizations (1) and (2). A footnote (p. 294) reports D. J. Newman's remark that parts of (I) are implicit in Milne-Thomson's The Calculus of Finite Differences (1960), especially from p. 131 on.
Read depth. Claims checked: the statement and the setting were read clause by clause on the page images of pp. 293--294. The short proof was followed.
Proof pointer
P. 294. Shifting the argument by one gives the exact ratio , and similarly . For the numerator exceeds the absolute value of the denominator, and neither side vanishes at a non-integer.
Dependencies
None beyond the definitions (1) and (2).
Bears on
Problem 1114: context only. The paper calls (I) an analogue of Bálint's verification of Erdős's conjecture, since both describe a monotonicity in passing from one arch of a fixed polynomial to the next (p. 294). Statement (I) concerns the values of the polynomial, not the gaps between zeros of its derivative, and says nothing about those gaps.