EKG数列のソースを表示

{{math stub}}
'''EKG数列'''（EKGすうれつ）は、次のように定義される整数列。

<math>a_1 = 1 , a_2 = 2</math>。<math>a_3</math>以降は、直前の項と互いに素ではない最小の自然数（ただし、それまでにこの数列の項として出現していないものに限る）。最初のいくつかの項は1, 2, 4, 6, 3, 9, 12, 8, 10, 5, 15, 18, 14, 7, 21, ... である。

== 性質 ==
* すべての自然数はこの数列の項として出現する。
* 素数が出現する場合、<math>p_1</math>, <math>p_2</math>:素数、<math>p_1</math>＜<math>p_2</math>ならば<math>p_2</math>は<math>p_1</math>より後に出現する。
* nを横軸に、<math>a_n</math>を縦軸にプロットしたグラフは、細かく増減を繰り返しながら大局的に増加する直線に近い形になる。細部を見ると心電図（{{lang-en-short|Electrocardiogram, ECG}}, {{lang-de-short|Elektrokardiogramm, EKG}}）の波形に似ているのが命名の由来。
== 予想 == 
* <math>p=a_m</math>:素数ならば<math>a_{m-1}=2p</math>, <math>a_{m+1}=3p</math>
* <math>n\rightarrow \infty</math>に対し<math>a_n</math>の極限は:
** <math>a_n</math>：奇素数 ⇒ <math>a_n \sim\frac{1}{2} n ( 1 + \frac{1}{3 log n})</math>
** <math>a_n</math>：奇素数の3倍 ⇒ <math>a_n \sim \frac{3}{2} n ( 1 + \frac{1}{3 log n})</math>
** <math>a_n</math>：奇素数でも奇素数の3倍でもない ⇒ <math>a_n \sim \frac{3}{2} n ( 1 + \frac{1}{3 log n})</math>

== 外部リンク ==
* [http://www.maa.org/mathland/mathtrek_04_08_02.html Ivars Peterson's MathTrek - The EKG Sequence]

{{DEFAULTSORT:いいけえじいすうれつ}}
[[Category:数列]]
[[Category:整数]]
[[Category:数学に関する記事]]