MHB How Can You Prove Properties of Cells in Lattices Using the Complex Plane?

AI Thread Summary
The discussion focuses on proving properties of cells in lattices using the complex plane, specifically through the map defined by the norm on Gaussian integers. It establishes that the norm's properties lead to certain inequalities and conditions for elements in the lattice. The second point involves demonstrating that a specific function is a composition of transformations, including dilation and rotation. The third point suggests finding a lattice point that results in a norm smaller than a given value, hinting at the use of the pigeonhole principle and geometric properties of the transformations. Overall, the conversation revolves around leveraging complex analysis to explore lattice structures and their properties.
pantboio
Messages
43
Reaction score
0
I have the following assignment:consider the map $$|\cdot|:\mathbb{Z}\longrightarrow \mathbb{N},\qquad |a+ib|:=a^2+b^2$$1) Prove that $|\alpha|<|\beta|$ iff $|\alpha|\leq |\beta|-1$ and $|\alpha|<1$ iff $\alpha=0$2) Let $\alpha,\beta\in\mathbb{Z},\beta\neq 0$. Prove that the map $f:\mathbb{Z}\longrightarrow\mathbb{Z}, f(\gamma):=\alpha-\gamma\beta$ is the composition of a dilatation by the factor $\sqrt{|\beta|}$, a rotation (angle?) and a translation.3) Deduce that there exists $\gamma\in\mathbb{Z}$ such that $|f(\gamma)|$ is strictly smaller than $|\beta|$.$\textbf{Hint:}$ compare the size of a cell of the lattice $f(\mathbb{Z})$ and the size of the set of points whose distance to $0$ is $\leq\sqrt{|\beta|}$.What i did: point 1) is a trivial consequence of the fact that the norm takes integer non negative values. For point 2), I use complex multiplication of numbers which is: multiply absolute values and add angles. For point 3), I'm actually waiting for a miracle... I suppose i should prove that there exists a cell in $f(\mathbb{Z})$ intersecting the open ball centered at the origin with radius $\sqrt{|\beta|}$, but i have no idea how to write down this. Only thing i noticed is that $f$ acts with a rotation, which does not affect distance from the origin, so that the only changes in $|\gamma|$ come from dilatation and by adding $\alpha$.Could someone put me on the right direction? Thanks in advance
 
Mathematics news on Phys.org
HINT:

The pigeonhole principle. Possibly. Still thinking.
 
New idea: consider the set of points $\gamma \in \mathbb{Z}i$ such that $|\beta|\cdot|\gamma|<|\alpha|$. This set does not change under rotation, under dilation it becomes a subset of the points $x \in \mathbb{Z}i$ such that $|x|<|\alpha|$. What does that mean for the resulting translation?
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Back
Top