Mathematics Asked by Peđa Terzić on July 30, 2020

Can you prove or disprove the following claim:

Let $P_n^{(alpha,beta)}(x)$ be Jacobi polynomial . If $p$ is a prime number such that $alpha , beta$ are natural numbers and $alpha + beta <p$, then $$P_p^{(alpha,beta)}(a) equiv a pmod{p}$$ for all odd integers $a$ greater than one .

You can run this test here. I have tested this claim for many random values of $p$ , $alpha$ and $beta$ and there were no counterexamples .

We use the identity $$P_n^{(alpha,beta)}(x)=sum_{s=0}^n binom{n+alpha}{n-s}binom{n+beta}{s}left(frac{x-1}2right)^sleft(frac{x+1}2right)^{n-s},$$ and assume that $pgeq 3$. For $s=0$, the sum is simply $(x+1)/2$ modulo $p$ (by Fermat's little theorem), and for $s=p$, the sum is $(x-1)/2$, so those two terms sum to $x$. It suffices to show that $$sum_{s=1}^{p-1} binom{p+alpha}{p-s}binom{p+beta}{s}left(frac{x-1}2right)^sleft(frac{x+1}2right)^{p-s}equiv 0bmod p$$ for all integer $x$. We claim, in fact, that each of these terms are multiples of $p$. By Lucas's theorem, for $0<s<p$, $$binom{p+alpha}{p-s}equiv binom{1}{0}binom{alpha}{p-s}bmod p,$$ and $$binom{p+beta}{s}equiv binom{1}{0}binom{beta}{s}bmod p.$$ However, since $alpha+beta<s+(p-s)$, either $alpha<p-s$ or $beta<s$, so one of these is $0bmod p$.

Answered by Carl Schildkraut on July 30, 2020

1 Asked on December 22, 2020 by giuseppe-negro

differential geometry partial differential equations spheres

2 Asked on December 22, 2020 by mathematicing

1 Asked on December 22, 2020

1 Asked on December 22, 2020 by joshua-ruiter

algebraic groups dynkin diagrams galois extensions root systems

0 Asked on December 22, 2020 by fweth

1 Asked on December 22, 2020

0 Asked on December 22, 2020 by jimk

1 Asked on December 22, 2020 by nilos

1 Asked on December 22, 2020 by hanul-jeon

0 Asked on December 21, 2020 by general-mo7

calculus derivatives experimental mathematics physics sequences and series

1 Asked on December 21, 2020 by user778657

abelian groups abstract algebra finite groups group theory solution verification

0 Asked on December 21, 2020 by rolando-gonzlez

1 Asked on December 21, 2020 by abhigyan-saha

continuity general topology manifolds riemannian geometry topological groups

1 Asked on December 21, 2020 by sai-manoj-prakhya

homogeneous spaces linear algebra linear transformations transformation

3 Asked on December 21, 2020 by mutse

algebra precalculus calculus discriminant inequality quadratics

1 Asked on December 21, 2020 by neothehero

1 Asked on December 20, 2020 by roach87

1 Asked on December 20, 2020 by jake-mirra

abstract algebra extension field galois theory rational functions

1 Asked on December 20, 2020 by thisguy

4 Asked on December 20, 2020 by user2561523

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Lex on Does Google Analytics track 404 page responses as valid page views?
- Jon Church on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP