Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
k a April Highlights and 2025 AoPS Online Class Information
jlacosta   0
Apr 2, 2025
Spring is in full swing and summer is right around the corner, what are your plans? At AoPS Online our schedule has new classes starting now through July, so be sure to keep your skills sharp and be prepared for the Fall school year! Check out the schedule of upcoming classes below.

WOOT early bird pricing is in effect, don’t miss out! If you took MathWOOT Level 2 last year, no worries, it is all new problems this year! Our Worldwide Online Olympiad Training program is for high school level competitors. AoPS designed these courses to help our top students get the deep focus they need to succeed in their specific competition goals. Check out the details at this link for all our WOOT programs in math, computer science, chemistry, and physics.

Looking for summer camps in math and language arts? Be sure to check out the video-based summer camps offered at the Virtual Campus that are 2- to 4-weeks in duration. There are middle and high school competition math camps as well as Math Beasts camps that review key topics coupled with fun explorations covering areas such as graph theory (Math Beasts Camp 6), cryptography (Math Beasts Camp 7-8), and topology (Math Beasts Camp 8-9)!

Be sure to mark your calendars for the following events:
[list][*]April 3rd (Webinar), 4pm PT/7:00pm ET, Learning with AoPS: Perspectives from a Parent, Math Camp Instructor, and University Professor
[*]April 8th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MATHCOUNTS State Discussion
April 9th (Webinar), 4:00pm PT/7:00pm ET, Learn about Video-based Summer Camps at the Virtual Campus
[*]April 10th (Math Jam), 4:30pm PT/7:30pm ET, 2025 MathILy and MathILy-Er Math Jam: Multibackwards Numbers
[*]April 22nd (Webinar), 4:00pm PT/7:00pm ET, Competitive Programming at AoPS (USACO).[/list]
Our full course list for upcoming classes is below:
All classes run 7:30pm-8:45pm ET/4:30pm - 5:45pm PT unless otherwise noted.

Introductory: Grades 5-10

Prealgebra 1 Self-Paced

Prealgebra 1
Sunday, Apr 13 - Aug 10
Tuesday, May 13 - Aug 26
Thursday, May 29 - Sep 11
Sunday, Jun 15 - Oct 12
Monday, Jun 30 - Oct 20
Wednesday, Jul 16 - Oct 29

Prealgebra 2 Self-Paced

Prealgebra 2
Sunday, Apr 13 - Aug 10
Wednesday, May 7 - Aug 20
Monday, Jun 2 - Sep 22
Sunday, Jun 29 - Oct 26
Friday, Jul 25 - Nov 21

Introduction to Algebra A Self-Paced

Introduction to Algebra A
Monday, Apr 7 - Jul 28
Sunday, May 11 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Wednesday, May 14 - Aug 27
Friday, May 30 - Sep 26
Monday, Jun 2 - Sep 22
Sunday, Jun 15 - Oct 12
Thursday, Jun 26 - Oct 9
Tuesday, Jul 15 - Oct 28

Introduction to Counting & Probability Self-Paced

Introduction to Counting & Probability
Wednesday, Apr 16 - Jul 2
Thursday, May 15 - Jul 31
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Wednesday, Jul 9 - Sep 24
Sunday, Jul 27 - Oct 19

Introduction to Number Theory
Thursday, Apr 17 - Jul 3
Friday, May 9 - Aug 1
Wednesday, May 21 - Aug 6
Monday, Jun 9 - Aug 25
Sunday, Jun 15 - Sep 14
Tuesday, Jul 15 - Sep 30

Introduction to Algebra B Self-Paced

Introduction to Algebra B
Wednesday, Apr 16 - Jul 30
Tuesday, May 6 - Aug 19
Wednesday, Jun 4 - Sep 17
Sunday, Jun 22 - Oct 19
Friday, Jul 18 - Nov 14

Introduction to Geometry
Wednesday, Apr 23 - Oct 1
Sunday, May 11 - Nov 9
Tuesday, May 20 - Oct 28
Monday, Jun 16 - Dec 8
Friday, Jun 20 - Jan 9
Sunday, Jun 29 - Jan 11
Monday, Jul 14 - Jan 19

Intermediate: Grades 8-12

Intermediate Algebra
Monday, Apr 21 - Oct 13
Sunday, Jun 1 - Nov 23
Tuesday, Jun 10 - Nov 18
Wednesday, Jun 25 - Dec 10
Sunday, Jul 13 - Jan 18
Thursday, Jul 24 - Jan 22

Intermediate Counting & Probability
Wednesday, May 21 - Sep 17
Sunday, Jun 22 - Nov 2

Intermediate Number Theory
Friday, Apr 11 - Jun 27
Sunday, Jun 1 - Aug 24
Wednesday, Jun 18 - Sep 3

Precalculus
Wednesday, Apr 9 - Sep 3
Friday, May 16 - Oct 24
Sunday, Jun 1 - Nov 9
Monday, Jun 30 - Dec 8

Advanced: Grades 9-12

Olympiad Geometry
Tuesday, Jun 10 - Aug 26

Calculus
Tuesday, May 27 - Nov 11
Wednesday, Jun 25 - Dec 17

Group Theory
Thursday, Jun 12 - Sep 11

Contest Preparation: Grades 6-12

MATHCOUNTS/AMC 8 Basics
Wednesday, Apr 16 - Jul 2
Friday, May 23 - Aug 15
Monday, Jun 2 - Aug 18
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

MATHCOUNTS/AMC 8 Advanced
Friday, Apr 11 - Jun 27
Sunday, May 11 - Aug 10
Tuesday, May 27 - Aug 12
Wednesday, Jun 11 - Aug 27
Sunday, Jun 22 - Sep 21
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Problem Series
Friday, May 9 - Aug 1
Sunday, Jun 1 - Aug 24
Thursday, Jun 12 - Aug 28
Tuesday, Jun 17 - Sep 2
Sunday, Jun 22 - Sep 21 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Monday, Jun 23 - Sep 15
Tues & Thurs, Jul 8 - Aug 14 (meets twice a week!)

AMC 10 Final Fives
Sunday, May 11 - Jun 8
Tuesday, May 27 - Jun 17
Monday, Jun 30 - Jul 21

AMC 12 Problem Series
Tuesday, May 27 - Aug 12
Thursday, Jun 12 - Aug 28
Sunday, Jun 22 - Sep 21
Wednesday, Aug 6 - Oct 22

AMC 12 Final Fives
Sunday, May 18 - Jun 15

F=ma Problem Series
Wednesday, Jun 11 - Aug 27

WOOT Programs
Visit the pages linked for full schedule details for each of these programs!


MathWOOT Level 1
MathWOOT Level 2
ChemWOOT
CodeWOOT
PhysicsWOOT

Programming

Introduction to Programming with Python
Thursday, May 22 - Aug 7
Sunday, Jun 15 - Sep 14 (1:00 - 2:30 pm ET/10:00 - 11:30 am PT)
Tuesday, Jun 17 - Sep 2
Monday, Jun 30 - Sep 22

Intermediate Programming with Python
Sunday, Jun 1 - Aug 24
Monday, Jun 30 - Sep 22

USACO Bronze Problem Series
Tuesday, May 13 - Jul 29
Sunday, Jun 22 - Sep 1

Physics

Introduction to Physics
Wednesday, May 21 - Aug 6
Sunday, Jun 15 - Sep 14
Monday, Jun 23 - Sep 15

Physics 1: Mechanics
Thursday, May 22 - Oct 30
Monday, Jun 23 - Dec 15

Relativity
Sat & Sun, Apr 26 - Apr 27 (4:00 - 7:00 pm ET/1:00 - 4:00pm PT)
Mon, Tue, Wed & Thurs, Jun 23 - Jun 26 (meets every day of the week!)
0 replies
jlacosta
Apr 2, 2025
0 replies
Rigid sets of points
a_507_bc   4
N 10 minutes ago by txg008
Source: ICMC 8.1 P6
A set of points in the plane is called rigid if each point is equidistant from the three (or more) points nearest to it.
(a) Does there exist a rigid set of $9$ points?
(b) Does there exist a rigid set of $11$ points?
4 replies
a_507_bc
Nov 24, 2024
txg008
10 minutes ago
High School Integration Extravaganza Problem Set
Riemann123   6
N an hour ago by aidan0626
Source: River Hill High School Spring Integration Bee
Hello AoPS!

Along with user geodash2, I have organized another high-school integration bee (River Hill High School Spring Integration Bee) and wanted to share the problems!

We had enough folks for two concurrent rooms, hence the two sets. (ARML kids from across the county came.)

Keep in mind that these integrals were written for a high-school contest-math audience. I hope you find them enjoyable and insightful; enjoy!


[center]Warm Up Problems[/center]
\[
\int_{1}^{2} \frac{x^{3}+x^2}{x^5}dx
\]\[\int_{2025}^{2025^{2025}}\frac{1}{\ln\left(2025\right)\cdot x}dx\]\[
\int(\sin^2(x)+\cos^2(x)+\sec^2(x)+\csc^2(x))dx
\]\[
\int_{-2025.2025}^{2025.2025}\sin^{2025}(2025x)\cos^{2025}(2025x)dx
\]\[
    \int_{\frac \pi 6}^{\frac \pi 3} \tan(\theta)^2d\theta
\]\[
\int  \frac{1+\sqrt{t}}{1+t}dt
\]-----
[center]Easier Division Set 1[/center]
\[\int \frac{x^{2}+2x+1}{x^{3}+3x^{2}+3x+3}dx
\]\[\int_{0}^{\frac{3\pi}{2}}\left(\frac{\pi}{2}-x\right)\sin\left(x\right)dx\]\[
\int_{-\pi/2}^{\pi/2}x^3e^{-x^2}\cos(x^2)\sin^2(x)dx
\]\[
\int\frac{1}{\sqrt{12-t^{2}+4t}}dt
\]\[
\int \frac{\sqrt{e^{8x}}}{e^{8x}-1}dx
\]-----
[center]Easier Division Set 2[/center]
\[
\int \frac{e^x}{e^{2x}+1} dx
\]\[
\int_{-5}^5\sqrt{25-u^2}du
\]\[
\int_{-\frac12}^\frac121+x+x^2+x^3\ldots dx
\]\[\int \cos(\cos(\cos(\ln \theta)))\sin(\cos(\ln \theta))\sin(\ln \theta)\frac{1}{\theta}d\theta\]\[\int_{0}^{\frac{1}{6}}\frac{8^{2x}}{64^{2x}-8^{\left(2x+\frac{1}{3}\right)}+2}dx\]-----
[center]Harder Division Set 1[/center]
\[\int_{0}^{\frac{\pi}{2}}\frac{\sin\left(x\right)}{\sin\left(x\right)+\cos\left(x\right)}+\frac{\sin\left(\frac{\pi}{2}-x\right)}{\sin\left(\frac{\pi}{2}-x\right)+\cos\left(\frac{\pi}{2}-x\right)}dx\]\[
\int_0^{\infty}e^{-x}\Bigl(\cos(20x)+\sin(20x)\Bigr) dx
\]\[
\lim_{n\to \infty}\frac{1}{n}\int_{1}^{n}\sin(nt)^2dt
\]\[
\int_{x=0}^{x=1}\left( \int_{y=-x}^{y=x} \frac{y^2}{x^2+y^2}dy\right)dx
\]\[
\int_{0}^{13}\left\lceil\log_{10}\left(2^{\lceil x\rceil }x\right)\right\rceil dx
\]-----
[center]Harder Division Set 2[/center]
\[
\int \frac{6x^2}{x^6+2x^3+2}dx
\]\[
\int -\sin(2\theta)\cos(\theta)d\theta
\]\[
\int_{0}^{5}\sin(\frac{\pi}2 \lfloor{x}\rfloor x) dx
\]\[
\int_{0}^{1} \frac{\sin^{-1}(\sqrt{x})^2}{\sqrt{x-x^2}}dx
\]\[
\int\left(\cot(\theta)+\tan(\theta)\right)^2\cot(2\theta)^{100}d\theta
\]-----
[center]Bonanza Round (ie Fun/Hard/Weird Problems) (In No Particular Order)[/center]
\[
\int \ln\left\{\sqrt[7]{x}^\frac1{\ln\left\{\sqrt[5]{x}^\frac1{\ln\left\{\sqrt[3]{x}^\frac1{\ln\left\{\sqrt{x}\right\}}\right\}}\right\}}\right\}dx
\]\[\int_{1}^{{e}^{\pi}} \cos(\ln(\sqrt{u}))du\]\[
\int_e^{\infty}\frac {1-x\ln{x}}{xe^x}dx
\]\[\int_{0}^{1}\frac{e^{x}}{\left(x^{2}+3x+2\right)^{\frac{1}{2^{1}}}}\times\frac{e^{-\frac{x^{2}}{2}}}{\left(x^{2}+3x+2\right)^{\frac{1}{2^{2}}}}\times\frac{e^{\frac{x^{3}}{3}}}{\left(x^{2}+3x+2\right)^{\frac{1}{2^{3}}}}\times\frac{e^{-\frac{x^{4}}{4}}}{\left(x^{2}+3x+2\right)^{\frac{1}{2^{4}}}} \ldots \,dx\]
For $x$ on the domain $-0.2025\leq x\leq 0.2025$ it is known that \[\displaystyle f(x)=\sin\left(\int_{0}^x \sqrt[3]{\cos\left(\frac{\pi}{2} t\right)^3+26}\ dt\right)\]is invertible. What is $\displaystyle (f^{-1})'(0)$?
6 replies
Riemann123
Today at 2:11 PM
aidan0626
an hour ago
Romanian National Olympiad 2019 - Grade 11 - Problem 2
Catalin   6
N 2 hours ago by Filipjack
Source: Romanian National Olympiad 2019 - Grade 11 - Problem 1
Let $f:[0, \infty) \to \mathbb{R}$ a continuous function, constant on $\mathbb{Z}_{\geq 0}.$ For any $0 \leq a < b < c < d$ which satisfy $f(a)=f(c)$ and $f(b)=f(d)$ we also have $f \left( \frac{a+b}{2} \right) = f \left( \frac{c+d}{2} \right).$
Prove that $f$ is constant.
6 replies
Catalin
Apr 25, 2019
Filipjack
2 hours ago
Permutation polynomial
alexheinis   2
N 3 hours ago by djmathman
Let $n$ be a positive integer. Prove that $f=x^3+x$ is a permutation polynomial mod $n$ iff $n$ is a power of 3.
Note: we call $f$ a permutation polynomial mod $n$ iff the induced map $f:Z_n\rightarrow Z_n$ is bijective.
2 replies
alexheinis
Today at 11:16 AM
djmathman
3 hours ago
No more topics!
Putnam 2008 A5
Kent Merryfield   32
N Apr 3, 2025 by Ihatecombin
Let $ n\ge 3$ be an integer. Let $ f(x)$ and $ g(x)$ be polynomials with real coefficients such that the points $ (f(1),g(1)),(f(2),g(2)),\dots,(f(n),g(n))$ in $ \mathbb{R}^2$ are the vertices of a regular $ n$-gon in counterclockwise order. Prove that at least one of $ f(x)$ and $ g(x)$ has degree greater than or equal to $ n-1.$
32 replies
Kent Merryfield
Dec 8, 2008
Ihatecombin
Apr 3, 2025
Putnam 2008 A5
G H J
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kent Merryfield
18574 posts
#1 • 3 Y
Y by Adventure10, Mango247, kiyoras_2001
Let $ n\ge 3$ be an integer. Let $ f(x)$ and $ g(x)$ be polynomials with real coefficients such that the points $ (f(1),g(1)),(f(2),g(2)),\dots,(f(n),g(n))$ in $ \mathbb{R}^2$ are the vertices of a regular $ n$-gon in counterclockwise order. Prove that at least one of $ f(x)$ and $ g(x)$ has degree greater than or equal to $ n-1.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kent Merryfield
18574 posts
#2 • 2 Y
Y by Adventure10, Mango247
Define $ P(x) = f(x) + ig(x).$ $ P$ is a polynomial with complex coefficients. The claim that at least one of $ f$ and $ g$ has degree at least $ n - 1$ is precisely the claim that the degree of $ P$ is at least $ n - 1.$

By hypothesis, $ P(k) = z_0 + re^{2\pi i\frac {(k - 1)}m + i\delta}$ for some fixed $ z_0$ (the center of the polygon), some $ r > 0$ (the radius of the circle that circumscribes the polygon) and some $ \delta$ (a measure of how far the polygon is rotated from standard position.) Subtracting a constant such as $ z_0$ does not change the degree of a nonconstant polynomial (and $ P$ is surely nonconstant). Multiplying or dividing by a nonzero constant such as $ r$ or $ e^{i\delta}$ does not change the degree of a polynomial. Hence WLOG we may assume that $ P(k) = e^{2\pi i(k - 1)/n} = \zeta^{k - 1}$ for $ \zeta = e^{2\pi i/n}.$

We now turn to finite differences. Define $ \Delta f(x) = f(x + 1) - f(x).$ By the binomial theorem, $ \Delta x^m$ equals $ mx^{m - 1}$ plus terms of degree lower than $ m - 1.$ It follows that if $ f$ is a polynomial of degree exactly $ m,$ for $ m\ge 1,$ then $ \Delta f$ is a polynomial of degree exactly $ m - 1.$ (And if $ f$ is constant, then $ \Delta f = 0.$) By iteration, we see that if $ f$ is a polynomial and if $ \Delta^mf(x)\ne 0$ at any point, then the degree of $ f$ must be at least $ m.$
\[ P(k) = \zeta^{k - 1}\text{ for }0\le k\le n - 1\]\[ \Delta P(k) = \zeta^{k - 1}(\zeta - 1)\text{ for }0\le k\le n - 2
\]\[ \Delta^2 P(k) = \zeta^{k - 1}(\zeta - 1)^2\text{ for }0\le k\le n - 3\]\[ \vdots\]\[ \Delta^{n - 1}P(0) = (\zeta - 1)^{n - 1}\]
Since $ \zeta - 1\ne 0,$ this shows that $ \Delta^{n - 1} P(0)\ne 0,$ which means that the degree of $ P$ is at least $ n - 1.$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#3 • 4 Y
Y by Adventure10, Mango247, centslordm, and 1 other user
Go me for writing a big spiel about finite differences in my blog, then proceeding to miss that solution at the end of this problem and turning to Lagrange Interpolation to show $ P$ had degree at least $ n-1$. At least it worked.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#4 • 2 Y
Y by Adventure10, Mango247
Palmer, I thought for sure you'd be elated once you saw this problem; I immediately thought of your post :)

The explicit formula for the $ (n-1)^{th}$ difference of any sequence with $ n$ terms is

$ \sum_{k=0}^{n-1} (-1)^{n-1-k} {n-1 \choose k} p(k)$

which gives Kent Merryfield's answer immediately by the binomial theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#5 • 2 Y
Y by Adventure10, Mango247
Well, I was elated; polynomials and roots of unity tend to be something I'm good at. Doesn't mean I learned my own lessons. :D
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Sly Si
777 posts
#6 • 4 Y
Y by ASnooby, Adventure10, Mango247, kiyoras_2001
You can do it without finite differences:

We can translate $ P(x)$ without changing its degree so that the polygon is centered at the origin. Call the new polynomial $ Q(x)$. Now if we let $ z=e^{\frac{2 \pi i}{n}}$, notice that for $ n=1,2,3,...,n-1$, $ Q(n+1)=zQ(n)$.

So now we define a new polynomial $ R(x) = Q(x+1) - zQ(x)$. This has degree at most the degree of $ Q$, and it has $ n-1$ roots. Therefore the degree of $ Q$ is at least $ n-1$, as desired.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
CatalystOfNostalgia
1479 posts
#7 • 2 Y
Y by Adventure10, Mango247
Ahhh! I almost had this one! It seems that I made a computational error in my finite difference calculations. Oh well.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Putnam of Doom
7 posts
#8 • 2 Y
Y by Adventure10, Mango247
Sly Si wrote:
You can do it without finite differences:

We can translate $ P(x)$ without changing its degree so that the polygon is centered at the origin. Call the new polynomial $ Q(x)$. Now if we let $ z = e^{\frac {2 \pi i}{n}}$, notice that for $ n = 1,2,3,...,n - 1$, $ Q(n + 1) = zQ(n)$.

So now we define a new polynomial $ R(x) = Q(x + 1) - zQ(x)$. This has degree at most the degree of $ Q$, and it has $ n - 1$ roots. Therefore the degree of $ Q$ is at least $ n - 1$, as desired.

dang this is far more nice than the lagrange interpolation / finite difference route

pretty sweet
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
calcer
3 posts
#9 • 2 Y
Y by Adventure10, Mango247
So, what I got to was proving that both of these could not be true:
\[ \sum_{k = 1}^{n - 1} ( - 1)^{k - n + 1} \left(\!\!\begin{array}{c}n - 1 \\
k - 1\end{array}\!\!\right) \cos{\left(\theta + \frac {2\pi (k - 1)}{n}\right)} = \cos{\left(\theta - \frac {2\pi}{n}\right)}
\]

\[ \sum_{k = 1}^{n - 1} ( - 1)^{k - n + 1} \left(\!\!\begin{array}{c}n - 1 \\
k - 1\end{array}\!\!\right) \sin{\left(\theta + \frac {2\pi (k - 1)}{n}\right)} = \sin{\left(\theta - \frac {2\pi}{n}\right)}
\]
Did anybody else somehow get to that? Or, rather - does it look possible to prove?



Looking over these posts, I can't believe I didn't think of using complex numbers, but hey, whatcha gonna do...
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#10 • 2 Y
Y by Adventure10, Mango247
The first equation plus $ i$ times the second equation is $ e^{ i \theta} (e^{\frac {2 \pi i}{n} } - 1)^{n - 1}$ on the LHS and $ e^{ i \theta} e^{ - \frac {2 \pi i}{n} }$ on the RHS. The factor on the LHS has absolute value $ 1$ if and only if $ n = 3, 6$.

It looks like you Lagrange interpolated through the first $ n - 1$ points and you're trying to show that you can't get to the last point, correct?

Here's a thought. The conclusion no longer holds if we drop the requirement that the points be in order. What is the smallest degree required to produce $ n$ points on an $ n$-gon in some order?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
calcer
3 posts
#11 • 1 Y
Y by Adventure10
Yeah, that's exactly what I did. Would what I did get any points, do you think?

Again, I just can't believe I didn't think to use complex numbers. :(
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Nukular
1963 posts
#12 • 1 Y
Y by Adventure10
Sly Si wrote:
You can do it without finite differences:

We can translate $ P(x)$ without changing its degree so that the polygon is centered at the origin. Call the new polynomial $ Q(x)$. Now if we let $ z = e^{\frac {2 \pi i}{n}}$, notice that for $ n = 1,2,3,...,n - 1$, $ Q(n + 1) = zQ(n)$.

So now we define a new polynomial $ R(x) = Q(x + 1) - zQ(x)$. This has degree at most the degree of $ Q$, and it has $ n - 1$ roots. Therefore the degree of $ Q$ is at least $ n - 1$, as desired.

You have to be careful to show that $ R$ is not identically zero, but nice.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#13 • 1 Y
Y by Adventure10
Its leading coefficient is $ 1 - z$ times the leading coefficient of $ Q$. I suppose you're right that that issue does need to be addressed, though; that is, $ R$ has degree exactly the degree of $ Q$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Sly Si
777 posts
#14 • 2 Y
Y by Adventure10, Mango247
Nukular wrote:
Sly Si wrote:
You can do it without finite differences:

We can translate $ P(x)$ without changing its degree so that the polygon is centered at the origin. Call the new polynomial $ Q(x)$. Now if we let $ z = e^{\frac {2 \pi i}{n}}$, notice that for $ n = 1,2,3,...,n - 1$, $ Q(n + 1) = zQ(n)$.

So now we define a new polynomial $ R(x) = Q(x + 1) - zQ(x)$. This has degree at most the degree of $ Q$, and it has $ n - 1$ roots. Therefore the degree of $ Q$ is at least $ n - 1$, as desired.

You have to be careful to show that $ R$ is not identically zero, but nice.

*kicking self* How many points do you think I lost for not doing that?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Albanian Eagle
1693 posts
#15 • 2 Y
Y by Adventure10, Mango247
you probably lost 1 point at the most. The solution is really nice and the graders are more lenient in the A(B)5 A(B)6 region.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
FibonacciFan
805 posts
#16 • 2 Y
Y by Adventure10, Mango247
Kent Merryfield wrote:
\[ P(k) = \zeta^{k - 1}\text{ for }0\le k\le n - 1
\]

\[ \Delta P(k) = \zeta^{k - 1}(\zeta - 1)\text{ for }0\le k\le n - 2
\]

\[ \Delta^2 P(k) = \zeta^{k - 1}(\zeta - 1)^2\text{ for }0\le k\le n - 3
\]

\[ \vdots
\]

\[ \Delta^{n - 1}P(0) = (\zeta - 1)^{n - 1}
\]
Since $ \zeta - 1\ne 0,$ this shows that $ \Delta^{n - 1} P(0)\ne 0,$ which means that the degree of $ P$ is at least $ n - 1.$

Just a minor detail...did you mean to write, for example, $ 1\le k\le n$ instead of $ 0\le k\le n - 1$ and $ \Delta^{n - 1}P(1) = (\zeta - 1)^{n - 1}$ instead of $ \Delta^{n - 1}P(0) = (\zeta - 1)^{n - 1}$?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#17 • 2 Y
Y by Adventure10, Mango247
The notation in this problem works out nicer if you let $ P(x) = f(x + 1) + i g(x + 1)$ instead, although that's a cosmetic distinction.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Kent Merryfield
18574 posts
#18 • 2 Y
Y by Adventure10, Mango247
I fixed that in the handout I gave my class afterwards - I guess I forgot to fix it here. Read what I meant to say, not what I actually said.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
FibonacciFan
805 posts
#19 • 1 Y
Y by Adventure10
Hmmm...someone above mentioned a Lagrange Interpolation solution. The Lagrange Interpolant is (after transforming the polygon to the roots of unity)

\[ L(z) = \sum_{k=1}^n e^{2 \pi i (k-1)/n}
\frac{
(z-1)
(z-2)
\cdots
(z-(k-1))
(z-(k+1))
\cdots 
(z-n)}
{(k-1)
(k - 2)
\cdots(k - (k-1) )
(k - (k+1))
\cdots (k - n)
}\]

so we would need to show that the coefficient of $ z^{n-1}$

\[ \sum_{k=1}^n e^{2 \pi i (k-1)/n}
\frac{1}
{(k-1)
(k - 2)
\cdots(k - (k-1) )
(k - (k+1))
\cdots (k - n)
}\]

is not zero. How would one do that?
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
MellowMelon
5850 posts
#20 • 1 Y
Y by Adventure10
That would have been me. :D Multiply that giant fraction by $ (n-1)!$ to make it a binomial coefficient times -1 to the something, then apply the binomial theorem.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
t0rajir0u
12167 posts
#21 • 2 Y
Y by Adventure10, Mango247
As is usually the case when the $ x$ coordinates are well-spaced, the interpolation is much easier using Newton polynomials than using Lagrange interpolation. See here, especially the first practice problem, which is an alternate approach - you can interpolate through the first $ n-1$ points and show that you can't reach the last point.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
theotherway
29 posts
#22 • 2 Y
Y by Adventure10, Mango247
Hmm does this work?

First we can translate the polygon so that its center is the origin. This is because setting $f_2(x) = f(x)-k$ doesn't affect its degree.

Let $a = 2\pi/n$ be the angle of rotation. Then we have the identities:

$f(x+1) = \cos(a)f(x) - \sin(a)g(x)$ and $g(x+1) = \sin(a)f(x)+cos(a)g(x)$ for $x=1,2...n-1$.

Define $d_1(x) = f(x+1) - \cos(a)f(x) + \sin(a)g(x)$ and $d_2(x) = g(x+1) - \sin(a)f(x) - cos(a)g(x)$. Since $d_1$ has at least $n-1$ roots, it is either of degree $n-1$ or greater or the zero polynomial. In the first case, since the degree of $f(x+1)$ is the same as the degree of $f(x)$, at least one of $f(x)$ or $g(x)$ have degree at least $n-1$. Hence we can assume $d_1(x) = 0$, similarly we can assume $d_2(x) = 0$.

Then $f(x+1) = \cos(a)f(x) - \sin(a)g(x)$ and $g(x+1) = \sin(a)f(x)+cos(a)g(x)$ holds for all $x$, squaring both equations and adding, we get

$(f(x+1))^2+(g(x+1))^2 = (f(x))^2+(g(x))^2$ for all $x$. Thus $(f(k))^2+(g(k))^2 = (f(1))^2+(g(1))^2$ for all integer $k$, which implies that $f(x)$ cannot tend to plus or minus infinity as $x$ tends to infinity. Yet this implies that $f(x)$ is a constant polynomial, which of course can't work for regular polygons of three or more vertices (the $x$ coordinate can't be constant). Contradiction.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
TheStrangeCharm
290 posts
#23 • 2 Y
Y by Adventure10, Mango247
A lagrange interpolation solution has already been discussed, but here is a more complete one:

Like other solutions, we consider the polynomial $P(x) = f(x) + ig(x)$, with complex coefficients. Our goal is now to show that $P$ has degree at least $n-1$, as this will imply that either $f$ or $g$ have degree at least $n - 1$. Now, we know that $P$ takes on the value of a regular n-gon somewhere in the complex plane at the values 1,2...,n. There is a polynomial of minimal degree that does this, and clearly this polynomial must be a factor of $P$. Thus, it suffices to show that the minimal degree polynomial that takes on these values has degree at least $n - 1$. But we know how using lagrange interpolation to explicitly construct this polynomial.

Let $\omega = e^{\frac{2\pi i}{n}}$. Then we know that $P(k) = r\omega ^{k-1} + z_0$, where $r$ and $z_0$ are some complex numbers. for k = 1,2,...,n. Now lagrange interpolation tells us that

\[ P(x) = \sum_{k=1}^n P(k) \cdot \prod_{j = 1, j \neq k}^n \frac{x - j}{k - j}\]

It suffices to show that the coefficient of $x^{n-1}$ in this polynomial is non-zero, which will imply the result. It is not hard to see that coefficient of $x^{n-1}$ in this polynomial is

\[ \sum_{k = 1}^n P(k) \cdot \prod_{j = 1, j \neq k}^n \frac{1}{k-j}\]

Now, we note that we have that
\[ \prod_{j = 1, j \neq k}^n \frac{1}{k-j} = \frac{(-1)^{n-k}}{(k-1)!(n - k)!}\]

If the coefficient of $x^{n-1}$ is not zero, then certainly it will not be zero after we multiply if by $(n-1)!$, so after we multiply the coefficient of $x^{n-1}$ by $(n-1)!$, we get

\[ \sum_{k = 1}^n P(k) \cdot (-1)^{n-k} \cdot \binom{n-1}{k-1}\]

Subtracting a constant from $P(x)$ and multiplying it by some non-zero complex number clearly does not change the degree of the polynomial, so we may just assume that $P(k) = \omega^{k-1}$ for k = 1,2,...,n. Now, all we have to show is that
\[\sum_{k=1}^n \omega^{k-1} \cdot (-1)^{n-k} \cdot \binom{n-1}{k-1}\] is nonzero. But by the binomial theorem, this is just $(\omega - 1)^{n-1}$, which is clearly non-zero as $\omega \neq 1$, so we are done.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
CANBANKAN
1301 posts
#24
Y by
Let $P(x)=f(x)+ig(x)$. Then via a suitable linear transformation we can assume $P(x)=\omega^x$ for $x=0,1,\cdots,n-1$ where $\omega=e^{\frac{2\pi i}{n}}$

I will show if $P(x)=k^x$ for some $k\ne 1$ and for all $x=0,\cdots,n-1$ then $\deg P\ge n-1$.

Induct on $n$; consider $Q(x)=\frac{P(x+1)-P(x)}{k-1}$, which has degree at least $n-2$ by inductive hypothesis.
This post has been edited 1 time. Last edited by CANBANKAN, Sep 22, 2022, 2:33 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
natmath
8219 posts
#25
Y by
Yet another way. Repeating a lot of what previous users have said, using some transformations, we see that we must prove that given a polynomial such that for $x=0,1,\ldots,n-1$ we have $P(x)=\omega^x$ where $\omega=e^{2\pi i/n}$ must have degree at least $n-1$. It suffices to find a degree $n-1$ polynomial $Q(x)$ that satisfies $Q(x)=\omega^x$ for $x=0,1,\ldots,n-1$. This is because if we found such a polynomial, then $Q(x)-P(x)$ would have $n$ roots, so it must either be the zero polynomial or a polynomial of degree at least $n$. We can see that if $P(x)$ had degree less than $n-1$ then neither case would be true.

Now to construct our $Q$ consider $Q(x)=\sum_{k=0}^{n-1} \binom{x}{k}(\omega-1)^k$. Note that $\binom{x}{k}=\frac{1}{k!}x(x-1)(x-2)\cdots(x-k+1)$ is a polynomial in $x$ of degree $k$ so this sum is indeed a polynomial of degree $n-1$. Moreover, by binomial theorem, for any $x=0,1,\ldots,n-1$ we have $Q(x)=(1+\omega-1)^x=\omega^x$.
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
cinnamon_e
703 posts
#26
Y by
Let $\zeta=e^{2\pi i/n}$, and assume FTSOC that $\max(\deg f, \deg g)< n-1$. We may take the linear transformation mapping this polygon to the one centered at the origin with the $n$th roots of unity, so that we result in $(\widetilde f(0),\widetilde g(0))$, $(\widetilde f(1),\widetilde g(1))$, etc. Now let $g(X)=\widetilde f(X)+i\widetilde g(X)$. Then $g(0)=1$, $g(1)=\zeta$, $g(2)=\zeta^2$, etc, so \[\zeta g(X)-g(X+1)=0\qquad\text{for }X=0, 1, 2,\dots,n-2.\]Therefore $X(X-1)(X-2)\cdots(X-(n-2))$ divides $\zeta g(X)-g(X+1)$, so $g$ must have degree at least $n-1$.
However, $\max(\deg f(x),\deg(g(x))$ implies that $\deg g<n-1$, contradiction.
This post has been edited 3 times. Last edited by cinnamon_e, Jul 21, 2023, 6:47 PM
Reason: edited solution
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ninjurikens
6 posts
#28
Y by
Without loss of generality let the polygon be centered at the origin and on the unit circle. We can do this since we can just shift by the centroid of the polygon and scale down, neither of which change the degree of the polynomials. Letting $a = \cos \frac{2\pi}{n}$ and $b = \sin \frac{2\pi}{n}$ we obtain the following:

\begin{align*}
a\cdot f(x)-b\cdot g(x) &= f(x+1), \\
b \cdot f(x)+a \cdot g(x) &= g(x+1),
\end{align*}
for $x = 0, 1, \ldots, n-2$. We get this by multiplying the complex number $f(k) + i \cdot g(k)$ by $e^{2 \pi i /n}$ and equating real and imaginary parts with the complex number $f(k+1) + i \cdot g(k+1)$, again for $k = 0, 1, \ldots, n-2$.

Now suppose $\max (\deg f, \deg g) < n-1$. Rewriting both equations by moving everything to left side, we see that the degree of the left is at most $n-2$. However, both polynomials have $n-1$ solutions, which is a contradiction. Thus, $\max (\deg f, \deg g) \geq n-1$.
This post has been edited 3 times. Last edited by Ninjurikens, Dec 1, 2023, 7:51 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
thdnder
194 posts
#29
Y by
This is such an amazing problem.
Let $(s, t)$ be a center of regular $n$-gon with vertices $(f(0), g(0)), ... , (f(n - 1), g(n - 1))$ and let $r$ be a its circumcircle radius. Replacing $f(X), g(X)$ to $\frac{1}{r}(f(X) - s), \frac{1}{r}(g(X) - t)$, we can assume that circumcircle of regular $n$-gon with vertices $(f(0), g(0)), ... , (f(n - 1), g(n - 1))$ is unit circle. Let $a$ be a real number such that $f(0) = \cos{a}, g(0) = \sin{a}$. Then for $0 \leq k \leq n - 1$, we have $f(k) = cos(\frac{2\pi k}{n} + a), g(k) = sin(\frac{2\pi k}{n} + a)$. Assume deg$f$, deg$g$ $\leq n - 1$. Then $f$ is the interpolation polynomial of $n$ points $(0, cos(a)), (1, cos(\frac{2\pi}{n} + a)), ... , (n - 1, cos(\frac{2\pi(n - 1)}{n} + a))$, so $f(X) = \sum_{k=0}^{n-1}cos(\frac{2\pi k}{n} + a)\prod_{i=0,i\neq k}^{n-1}\frac{X-i}{k-i}$. Therefore the coefficient of $X^{n-1}$ of $f$ is $\sum_{k=0}^{n-1}cos(\frac{2\pi k}{n} + a)\prod_{i=0, i\neq k}^{n-1}\frac{1}{k-i} = \sum_{k=0}^{n-1}cos(\frac{2\pi k}{n} + a)\frac{(-1)^{n - 1 - k}}{k!(n - 1 - k)!} = \frac{1}{(n-1)!}\sum_{k=0}^{n-1}cos(\frac{2\pi k}{n} + a)(-1)^{n-1-k}\binom{n-1}{k}$. Similarly the coefficient of $X^{n-1}$ of $g$ is
$\frac{1}{(n-1)!}\sum_{k=0}^{n-1}sin(\frac{2\pi k}{n} + a)(-1)^{n-1-k}\binom{n-1}{k}$. Let $a$ and $b$ be coefficient of $X^{n-1}$ of $f, g$, respectively. Then $a + bi = \frac{1}{(n-1)!}\sum_{k=0}^{n-1}(cos(\frac{2\pi k}{n} + a) + isin(\frac{2\pi k}{n}+a))(-1)^{n-1-k}\binom{n-1}{k} = \frac{e^{ia}}{(n-1)!}\sum_{k=0}^{n-1}e^{\frac{2\pi k}{n}}(-1)^{n-1-k}\binom{n-1}{k} = \frac{e^{ia}}{(n-1)!}(e^{\frac{2\pi}{n}} - 1)^{n-1} \neq 0$. Therefore one of the $a,b$ is not equal to 0 means $\max(\deg $f$, \deg $g$) \geq n - 1$, as desired.
This post has been edited 3 times. Last edited by thdnder, Jan 19, 2024, 5:59 AM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
shendrew7
793 posts
#30
Y by
We can throw this on the complex plane by defining $m(x) = f(x) + g(x) \cdot i$. Since $m(x)$ forms a regular $n$-gon the complex plane for $x = 0, 1, \ldots, n-1$, we have
\[m(x+1) = \operatorname{cis } \left(\frac{2\pi}{n}\right) \cdot m(x)\]
for $x = 0, 1, \ldots, n-2$. As a result, we know
\[n(x) = m(x+1) - m(x) \cdot \operatorname{cis } \left(\frac{2\pi}{n}\right)\]
has roots $0, 1, \ldots, n-2$. Hence
\[n-1 \leq \deg(n) \leq \deg(m) \leq \max(\deg (f), \deg (g)).~\blacksquare\]
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
sanyalarnab
930 posts
#31 • 1 Y
Y by tohill
The regular n-gon is the takeaway from this problem
Attachments:
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
joshualiu315
2513 posts
#32
Y by
Transform the function so the center of the $n$-gon is the origin. Then, let $h(x) = f(x)+ig(x)$. We have

\[h(x) = e^{\frac{2i\pi}{n}} h(x-1),\]
for $x = 1,2,\dots,n-1$. Thus, the polynomial

\[h(x)-e^{\frac{2i\pi}{n}} h(x-1)\]
has $n-1$ roots $x = 1,2,\dots,n-1$, which implies the desired statement (as the polynomial is written in terms of $f$ and $g$). $\square$
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Iveela
116 posts
#33
Y by
Really proud of this one!

We can shift $f$ and $g$ to ensure that $(0, 0)$ is the center of the polygon. Redefine $f$ to be $\frac{f(x) + i g(x)}{f(0) + ig(0)}$. Observe that for each $0 \leq k \leq n - 1$, we have $f(k) = \omega^k$ where $\omega = \exp \left( \frac{2 \pi i}{n} \right)$. It suffices to show that $\deg(f) \geq n - 1$. In fact, it is true that if $0 \leq k \leq m < n$ implies $f(k) = \omega^k$, we have $\deg(f) \geq m$.

We will use induction on $m$ with the base case $1$ being trivial. Let $g(x) = \frac{f(x + 1) - f(x)}{\omega - 1}$. Note that $\deg(g) < \deg(f)$. For each $0 \leq k \leq m - 1$, we have $g(k) = \frac{\omega^{k + 1} - \omega^k}{\omega - 1} = \omega^k$. By induction hypothesis, this implies $\deg(g) \geq m - 1$ and as $\deg(f) > \deg(g)$, it is true that $\deg(f) \geq m$, as desired.
This post has been edited 1 time. Last edited by Iveela, Nov 9, 2024, 5:33 PM
Z K Y
The post below has been deleted. Click to close.
This post has been deleted. Click here to see post.
Ihatecombin
54 posts
#34
Y by
Let the center of that \(n\)-gon be \((a,b)\). Notice that the polynomial
\[H(x) = f(m) - a + ig(m) - bi\]fulfills the property that \(H(i) = \omega^{i+k}\) where \(\omega\) is a primitive root of unity of \(n\) where \( i \in \mathbb{N} \) with \(0 \leq i \leq n-1\), \(k\) denotes some random integer. We shall show that this polynomial has degree at least \(n-1\), doing so clearly shows that \(\max(\deg(f(x)), \deg(g(x))) \geq n-1\).

Assume FTSOC that \(\deg(H(x)) \leq n-1\). We use Lagrange Interpolation, notice that
\[H(x) = \sum_{j=0}^{n-1} \omega^{j+k} \cdot \prod_{0 \leq r \neq j \leq n-1} \frac{x-r}{j - r}\]if this polynomial doesn't have degree \(n-1\), then we must obviously have
\[0 = \sum_{j=0}^{n-1} \omega^{j+k} \cdot \prod_{0 \leq r \neq j \leq n-1} \frac{1}{j - r}\]however we can just divide by \(\omega^k\) and simplify to obtain
\[0 = \sum_{j=0}^{n-1} \omega^{j} \cdot \frac{1}{(j!){(-1)}^{n-1-j}(n-1-j)!} = \frac{1}{(n-1)!} \cdot \sum_{j=0}^{n-1} \binom{n-1}{j} \cdot {(-1)}^{n-1-j} \cdot \omega^{j}\]Getting rid of the \((n-1)!\) term and using the binomial theorem gives us
\[0 = {(w-1)}^{n-1}\]which is plainly a contradiction.
This post has been edited 3 times. Last edited by Ihatecombin, Apr 3, 2025, 5:30 AM
Z K Y
N Quick Reply
G
H
=
a