Intereting Posts

How to find the partial sum of a given series?
High Dimensional Rotation Matrices As Product of In-Plane Rotations
Can $R \times R$ be isomorphic to $R$ as rings?
What are the left and right ideals of matrix ring? How about the two sided ideals?
Which are integral domain
Given a matrix with non-negative real entries, can you algebraically prove that it has a non-negative eigenvalue?
Diophantine applications of Spec?
Flow of sum of non-commuting vector fields
Proof that a trigonometric function of a rational angle must be non-transcendental
Probability that the bag contains all balls white given that two balls are white
Prove $\ln(2^5)-\pi=8\sum_{n=1}^{\infty}\frac{1}{n}\left(\frac{1}{e^{n\pi}+1}-\frac{1}{e^{2n\pi}+1}\right)$
How to show $ \sin x \geq \frac{2x}{\pi}, x \in $?
Integral $\int_1^2 \frac1x dx$ with a Riemann sum.
Rational analysis
If $(m,n)\in\mathbb Z_+^2$ satisfies $3m^2+m = 4n^2+n$ then $(m-n)$ is a perfect square.

I have encountered the following problem :

Find all polynomials $P$ such as $P(X)=P(1-X)$ on $\mathbb{C}$ and then $\mathbb{R}$.

I have found that on $\mathbb{C}$ such polynomials have an even degree. Because for each $a$ root, $1-a$ must be a root too. I struggle to find whether we can do something with polynomials of degree $2$ on $\mathbb{R}$.

- The 'sine and cosine theorem' - formulas for the sum and difference
- Prove that $\frac{bc}{b+c}+\frac{ac}{a+c}+\frac{ab}{a+b} \leq \frac{a+b+c}{2}$
- Absolute value of a real number
- How to find center of an arc given start point, end point, radius, and arc direction?
- Derivation of the formula for the vertex of a parabola
- Find all reals $a, b$ for which $a^b$ is also real

I was also wondering if we could find a general solution for $P(X)=P(aX+b)$ with $a$ and $b$ complexe for $P$ defined either on $\mathbb{R}$ or $\mathbb{C}$.

- Why can't you square both sides of an equation?
- Formula for the $1\cdot 2 + 2\cdot 3 + 3\cdot 4+\ldots + n\cdot (n+1)$ sum
- cubic equations which have exactly one real root
- How to Determine if a Function is One-to-One
- Sum and Product of Infinite Radicals
- Given that $xyz=1$ , find $\frac{1}{1+x+xy}+\frac{1}{1+y+yz}+\frac{1}{1+z+xz}$?
- A hyperbola as a constant difference of distances
- Why not write the solutions of a cubic this way?
- Problems while solving the cubics
- Is it always possible to factorize $(a+b)^p - a^p - b^p$ this way?

First, if $P(X) = P(1-X)$ holds on $\Bbb R$ then the same relation

holds on $\Bbb C$, due to the identity principle for holomorphic functions.

With $Q(x) := P(x + \frac 12)$, the condition $P(X) = P(1-X)$ is equivalent

to $Q(x) = Q(-x)$, which is satisfied exactly by all polynomials

having only terms with *even* powers of $x$.

Therefore the general solution is

$$

P(X) = Q(X – \frac 12) = a_0 + a_1 (X – \frac 12)^2 + \ldots + a_n (X – \frac 12)^{2n}

$$

with coefficients $a_0, a_1, \ldots, a_n \in \Bbb R$ or $\Bbb C$,

depending on whether you want $P$ to be real-valued on $\Bbb R$ or not.

For the general case $P(X) = P(aX + b)$ with $a \ne 1$, note that the

fixed point of $X \to aX +b$ is $X = \frac{b}{1-a}$, therefore define

$Q(x) := P(x + \frac{b}{1-a})$ to get $Q(x) = Q(ax)$.

Now there are two cases: If $a$ is a “root of unity”, i.e. $a^k=1$

for some positive integer $k$, then the solutions are exactly the polynomials having

only terms with powers which are a multiple of $k$:

$$

Q(x) = a_0 + a_1 x^k + \ldots + a_n x^{kn} \, .

$$

If $a$ is not a root of unity then

$$

Q(1) = Q(a) = Q(a^2) = Q(a^3) = \dots

$$

with all arguments being different, and the only solution are *constant*

polynomials $Q(x) = a_0$.

For $a \in \Bbb R$, $a \ne 1$, the first case occurs only for $a= -1$.

It is not necessary to shift $X$ by $1/2$ to symmetrize the polynomial.

Any polynomial function of $X(1-X)$ is a solution, and all solutions can be written in that form by starting from the highest degree (which must be even) term and working downward.

The advantage is that this works “over $\mathbb{Z}$” without any powers of $\frac{1}{2}$. For any ring $R$ of coefficients, if the polynomial is $\sum a_n X^n$ with $a_n \in R$ then it is equal to $\sum b_n (X – X^2)^n$ for some coefficients $b_n \in R$ that are integer linear combinations of the $a$’s.

The generalization has the same answer. There are nonconstant solutions of $P(x)=P(f(x))$ with $f(x)=Ax+B$ if any only if $f$ has (minimum) order $n$ with respect to composition, $f^{\circ n} (x) = x$ for some $n \geq 1$, and then any solution can be written as $Q(x f(x) f(f(x)) \dots f^{\circ (n-1)}(x))$, where the coefficients of $Q$ are $\mathbb{Z}$-linear combinations of the coefficients of $P(x)$.

The linear functions of order $n$ of course are $f(x)=\omega (X-u) + u$ for $w$ an $n$th root of $1$ and $u$ arbitrary, also over any ring.

- Number of ways of walking up $6$ steps taking $1, 2,$ or $3$ at a time, and a recurrence relation
- Want to show the a proof of the sequent $\forall x \forall y R(x,y) \Rightarrow R(y,y)$ must have a cut
- Find the leading order uniform approximation when the conditions are not $0<x<1$
- p-adic liftings on SAGE
- Continuous solutions of $f(x+y+z)=f(x)g(y)+f(y)g(z)+f(z)g(x)$
- Proving $\frac{1}{\sin^{2}\frac{\pi}{14}} + \frac{1}{\sin^{2}\frac{3\pi}{14}} + \frac{1}{\sin^{2}\frac{5\pi}{14}} = 24$
- Which of the (non-)Euclidean planes can we embed into non-Euclidean 3-space?
- Sample variance derivation
- Proving the condition for two elliptic curves given in Weierstrass form to be isomorphic
- Representation of compactly supported distribution
- first Chern class of E is first Chern class of det E
- The Frobenius Coin Problem
- How can we show that 3-dimensional matching $\le_p$ exact cover?
- Prove that an algebra is finitely generated iff it is isomorphic to the quotient ring $R/I$
- Prove that if $7^n-3^n$ is divisible by $n>1$, then $n$ must be even.