Intereting Posts

Prove that $\cos (A + B)\cos (A – B) = {\cos ^2}A – {\sin ^2}B$
Probability that $xy = yx$ for random elements in a finite group
Is this casino promotion exploitable?
Difference between orthogonal projection and least squares solution
Integer partition with fixed number of summands but without order
I want to understand uniform integrability in terms of Lebesgue integration
Uniform distribution on $\mathbb Z$ or $\mathbb R$
Roadmap to study Atiyah–Singer index theorem
Dirichlet series
Prove or disprove: For every integer a, if a is not congruent to 0 (mod 3), the a^2 is congruent to 1 (mod 3)
Does the opposite of the brachistochrone exist?
What does the group ring $\mathbb{Z}$ of a finite group know about $G$?
Question Regarding Cardano's Formula
Bounds on $f(k ;a,b) =\frac{ \int_0^\infty \cos(a x) e^{-x^k} \, dx}{ \int_0^\infty \cos(b x) e^{-x^k}\, dx}$
Prove that $\int\limits_0^1 x^a(1-x)^{-1}\ln x \,dx = -\sum\limits_{n=1}^\infty \frac{1}{(n+a)^2}$

Consider an $n$-sided *convex* polygon $P$ that contains the origin in the complex plane. Let the $j$-th vertex be denoted $z_j = r_j e^{i\theta_j}$ ($0 \leq \theta_j < 2 \pi$) for $j= 1 \dots n$. I’m interested in non-zero values of

$$ a_k(P)= \sum_{j=1}^{n} \frac{z_{j}^{k}}{|z_{j}|^{k-1}}=\sum_{j=1}^{n} r_j e^{ik\theta_j} \textrm{ for } k \geq 1.$$

*Lemma:* Given a integer $m \geq 2$, if, for every $k \geq 1$ where $m$ does not divide $k$, $a_k(P)=0$, then the polygon $P$ is $m$-fold rotationally symmetric, that is, a rotation of $e^{i\frac{2 \pi}{m}}$ rotates the polygon into itself.

- Do the real numbers and the complex numbers have the same cardinality?
- Proof that $e^{i\pi} = -1$
- Let $A_1,A_2,..,A_n$ be the vertices of n sides of a regular polygon such that $1/A_1.1/A_2=1/A_1.1/A_3+1/A_1.1/A_4$ then value of $n$ must be?
- How did they simplify this expression involving roots of unity?
- Geometry of the dual numbers
- How does $\cos x=\frac12(e^{ix}+e^{-ix})$?

*Pseudo-Proof:* Re-imagine the $n$-sided polygon $P$ as a $2 \pi$-periodic function $f(\theta)$ of the angle $\theta$ where each vertex $z_j$ is represented as a Dirac delta function at $\theta_j$ with integral $r_j$, that is,

$$f(\theta)=\sum_{j=1}^{n} r_j \delta (\theta – \theta_j).$$ The calculation $a_k(P)$ is then just $2 \pi$ times the $k$-th Fourier coefficient for $f(\theta)$. If, for all $k$ where $m$ does not divide $k$, $a_k(P)=0$, then the corresponding Fourier coefficients of $f(\theta)$ are all zero, implying that $f(\theta)$ is $\frac{2 \pi}{m}$-periodic. Hence the polygon will be $m$-fold rotationally symmetric. $\square$

Firstly, is there a good way to prove this lemma without resorting to non-converging Fourier series?

Then, in the same vein, the lemma implies that, if $P$ is *not* rotationally symmetric, then for every $m$, there are values of $k$, that are not multiples of $m$ for which $a_k(P) \neq 0$. But I believe much more is true, namely, that for ‘almost’ all $k$, $a_k(P) \neq 0$. In particular, if $k$ is the smallest so that $a_k(P) \neq 0$, I’d like to show that there is a $k'$ relatively prime to $k$ so that $a_{k'}(P) \neq 0$, but I’m not sure how to approach the issue. Any thoughts?

- An inequality involving two complex numbers
- Prove that $\sum\limits_{k=0}^{n-1}\dfrac{1}{\cos^2\frac{\pi k}{n}}=n^2$ for odd $n$
- Infinity times $i$
- Sum of nth roots of unity
- How can one calculate $i^{i^{i^{i^{.^{.^.}}}}}$?
- How has the definition of the complex logarithm changed over time?
- $\lim_{\lambda \to \infty} \int^b_0 f(t) \frac{\sin(\lambda t)}{t} $
- If $z^2 = z_1^2+z_2^2+z_3^2$ then $|\Re(z)| \le|\Re(z_1)|+|\Re(z_2)|+|\Re(z_3)|$
- Computing the Fourier series of $f = \cos{2x}$?
- A proper definition of $i$, the imaginary unit

Here is a proof of the lemma, where I now assume $0\leq \theta_1<\ldots<\theta_n<2\pi$ and all $r_j>0$; furthermore I replace $e^{i k\theta_j}$ by $e^{-i k\theta_j}$ in the definition of $a_k(P)$.

Let $b(t)$ be the $2\pi$-periodic box function which is $=1$ for $0\leq t<{2\pi\over m}$ and $=0$ for ${2\pi\over m}\leq t<2\pi$, and consider the function

$f(t):=\sum_{j=1}^n r_j b(t-\theta_j)$. For $k\ne0$ the Fourier coefficients of $f$ compute to

$$\hat f(k)={i\over 2\pi k}(e^{-2\pi i k/m}-1)\> a_k(P)=0,$$

so $f$ is a constant.

Consider a summand $r_j b(t-\theta_j)$ of $f$. As this summand jumps down to zero at the point $t=\theta_j+{2\pi\over m}$ there has to be another summand $r_l b(t-\theta_l)$ to compensate for this jump; in fact one necessarily has $\theta_l= \theta_j+{2\pi\over m}$ and $r_l=r_j$. It follows that $P$ is invariant under a rotation by ${2\pi\over m}$.

- Interpretation of limsup-liminf of sets
- Greatest common divisor of two relatively primes
- A property of a separable space
- An example of a lattice that's not totally ordered
- Proportion of cube closer to centre than outside
- Arc length in polar coordinates: Why isn't $dS=r×d\theta$
- Show $\exp(A)=\cos(\sqrt{\det(A)})I+\frac{\sin(\sqrt{\det(A)})}{\sqrt{\det(A)}}A,A\in M(2,\mathbb{C})$
- Dobble card game – mathematical background
- How to calculate the expected value when betting on which pairings will be selected
- Simplest proof of Taylor's theorem
- What is a vector?
- Game Theory: Number Battle
- What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 – z^3$
- The weak$^*$ topology on $X^*$ is not first countable if $X$ has uncountable dimension.
- Prove that 1+1=2