20200502, 10:20  #1 
Feb 2012
Prague, Czech Republ
10101001_{2} Posts 
Divisibility function
\(\forall N \ne 0,\ x \in [1,\ N]: \ sin \, x \pi +\imath \, sin \frac{N \pi}{x} = 0 \leftrightarrow xN.
\) I'm not aware of any practical value, but I like the pictures, produced in Maxima by draw2d( nticks=5000, grid=true, xrange=[1,1], yrange=[1,1], terminal='pngcairo, parametric(sin(%pi*x),sin(%pi*n/x),x,1, n) ), n=<insert N here>; edit: fixed tex formatting Last fiddled with by jnml on 20200502 at 10:30 
20200502, 10:22  #2 
Feb 2012
Prague, Czech Republ
13^{2} Posts 
6 to 9

20200502, 10:23  #3 
Feb 2012
Prague, Czech Republ
13^{2} Posts 
10 to 13

20200502, 10:25  #4 
Feb 2012
Prague, Czech Republ
13^{2} Posts 
14 to 17 and that's all.

20200502, 11:52  #5 
Dec 2012
The Netherlands
2·3·271 Posts 
Look up Lissajous curves.

20200502, 12:37  #6 
Feb 2012
Prague, Czech Republ
A9_{16} Posts 
I don't think the function in #1 qualifies as a Lissajous curve.
The reason I see is that the argument of the sinus function of the complex part is not a proportional to \(t\), but to its inverse. In fact, that's what makes the sum a divisibility function, which the Lissajous curve  AFAICT  is not. 
20200502, 12:41  #7 
Feb 2017
Nowhere
43×101 Posts 
Related, but Lissajous figures are parameterized by x = sin(L_{1}(t)), y = sin(L_{2}(t)) (or cosine) where L_{1} and L_{2} are linear functions.
The parameterization here is of the form x = sin(L_{1}(t)), y = sin(1/L_{2}(t)), in a range of tvalues that insures L_{2}(t) is not 0. 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
A useful function.  JM Montolio A  Miscellaneous Math  28  20180308 14:29 
A great universal divisibility rule  JM Montolio A  Miscellaneous Math  3  20180227 16:11 
Divisibility sequences based on recurrence relations  carpetpool  Combinatorics & Combinatorial Number Theory  1  20171221 00:42 
Sieve for divisibility sequences  carpetpool  Information & Answers  0  20171128 07:44 
phi function  rula  Homework Help  3  20170118 01:41 