Známs sorunu - Známs problem

1 = 1/2 + 1/3 + 1/11 + 1/23 + 1/31 + 1 / (2 × 3 × 11 × 23 × 31) grafik gösterimi. Kenar uzunluğu 1 / k olan her k kare sırası toplam 1 / k alana sahiptir ve tüm kareler birlikte alan 1 ile tam olarak daha büyük bir kareyi kaplar. 1/47058 kenar uzunluğuna sahip 47058 karenin alt sırası görülemeyecek kadar küçüktür. şekil ve gösterilmemiştir.

İçinde sayı teorisi, Znám'ın sorunu hangi setlerin olduğunu sorar k tamsayılar, kümedeki her tamsayının bir uygun bölen kümedeki diğer tam sayıların çarpımı artı 1. Znám'ın problemi Slovak matematikçinin adını almıştır. Štefan Znám, 1972'de önerdi, ancak diğer matematikçiler aynı zamanlarda benzer sorunları düşünmüşlerdi. Yakından ilişkili bir sorun, bölenin uygunluk varsayımını düşürür ve bundan sonra uygunsuz Znám sorunu olarak adlandırılacaktır.

Uygun olmayan Znám sorununa bir çözüm, herhangi bir k: ilk k şartları Sylvester dizisi gerekli mülke sahip olmak. Güneş (1983) her biri için (uygun) Znám sorununa en az bir çözüm olduğunu gösterdi k ≥ 5. Sun'ın çözümü, Sylvester'ın sekansına benzer bir tekrarlamaya dayanmaktadır, ancak farklı bir başlangıç ​​değerleri kümesiyle.

Znám sorunu ile yakından ilgilidir Mısır kesirleri. Herhangi bir sabit çözüm için yalnızca sonlu sayıda çözüm olduğu bilinmektedir. k. Znám'ın sorununa sadece tek sayılar kullanarak herhangi bir çözüm olup olmadığı bilinmemektedir ve başka birkaç açık soru da vardır.

Sorun

Znám'ın problemi, hangi tamsayı kümesinin, kümedeki her bir tamsayının bir özelliğe sahip olduğunu sorar. uygun bölen kümedeki diğer tam sayıların çarpımı artı 1. Yani verilir k, hangi tam sayı kümeleri

her biri için orada mı ben, nben böler ama eşit değildir

Yakından ilişkili bir problem, kümedeki her tamsayının bir bölen olduğu, ancak bir artı kümedeki diğer tamsayıların çarpımının uygun bir bölen olmadığı tamsayı kümeleriyle ilgilidir. Bu sorun literatürde adlandırılmamış gibi görünmektedir ve uygun olmayan Znám sorunu olarak anılacaktır. Znám'ın sorununa herhangi bir çözüm, aynı zamanda uygun olmayan Znám sorununa da bir çözüm olabilir, ancak bunun tersi de geçerli değildir.

Tarih

Znám'ın problemine Slovak matematikçinin adı verilmiştir Štefan Znám, bunu 1972'de öneren. Barbekü (1971) uygunsuz Znám sorununa neden olmuştu k = 3 ve Mordell (1973), Znám'dan bağımsız olarak, uygun olmayan soruna tüm çözümleri buldu k ≤ 5. Skula (1975) Znám'ın sorununun çözülemez olduğunu gösterdi k <5 ve J. Janák'a şu sorunun çözümü için {2, 3, 11, 23, 31} k = 5.

Örnekler

Bir çözüm k = 5 {2, 3, 7, 47, 395} 'dir. Birkaç hesap bunu gösterecek

3 × 7 × 47 × 395+ 1 =389866, ile bölünebilen ancak 2'ye eşit olmayan,
2 × 7 × 47 × 395+ 1 =259911, 3'e bölünebilen ancak 3'e eşit olmayan,
2 × 3 × 47 × 395+ 1 =111391, 7'ye bölünebilen ancak eşit olmayan
2 × 3 × 7 × 395+ 1 =16591, 47'ye bölünebilir ancak eşit değildir ve
2 × 3 × 7 × 47+ 1 =1975, 395'e bölünebilir ancak eşit değildir.

İçin ilginç bir "ramak kala" k = 4, Sylvester dizisinin ilk dört terimi alınarak oluşturulan {2, 3, 7, 43} kümesidir. Kümedeki her bir tamsayının, kümedeki diğer tamsayıların çarpımını artı 1'e böldüğü özelliğine sahiptir, ancak bu kümenin son üyesi, uygun bir bölen olmaktan ziyade ilk üç üyenin çarpımı artı bir'e eşittir. . Dolayısıyla, uygun olmayan Znám sorununa bir çözümdür, ancak genellikle tanımlandığı gibi Znám sorununa bir çözüm değildir.

Mısır kesirlerine bağlantı

Uygun olmayan Znám sorununa herhangi bir çözüm eşdeğerdir (ürüne göre bölme yoluyla) xbens) denklemin çözümüne

nerede y her biri gibi xben bir tamsayı olmalıdır ve tersine böyle bir çözüm, uygun olmayan Znám sorununun çözümüne karşılık gelir. Bununla birlikte, bilinen tüm çözümlerde y = 1, böylece denklemi sağlarlar

Yani, bir Mısır kesri bir numaranın toplamı olarak temsili birim kesirler. Znám'ın problemi üzerine alıntılanan makalelerin birçoğu da bu denklemin çözümlerini inceler. Brenton ve Hill (1988) denklemin bir uygulamasını tanımlayın topoloji, sınıflandırmasına göre tekillikler yüzeylerde ve Domaratzki vd. (2005) teorisine bir uygulamayı tanımlamak kesin olmayan sonlu otomata.

Çözüm sayısı

Gibi Janák ve Skula (1978) herhangi bir çözüm sayısı gösterdi k sonludur, bu nedenle her biri için toplam çözüm sayısını saymak mantıklıdır. k.

Brenton ve Vasiliu, küçük değerler için çözüm sayısının kile başlayarak k = 5, diziyi oluşturur

2, 5, 18, 96 (sıra A075441 içinde OEIS ).

Şu anda, birkaç çözüm bilinmektedir. k = 9 ve k = 10, ancak bu değerler için kaç çözümün keşfedilmemiş kaldığı açık değil. kBununla birlikte, sonsuz sayıda çözüm vardır. k sabit değil:Cao ve Jing (1998) her biri için en az 39 çözüm olduğunu gösterdi k ≥ 12, daha az çözümün varlığını kanıtlayan önceki sonuçların iyileştirilmesi (Cao, Liu ve Zhang 1987, Sun ve Cao 1988 ). Sun ve Cao (1988) her değer için çözüm sayısının k ile tekdüze büyür k.

Sadece tek sayılar kullanarak Znám'ın problemine herhangi bir çözüm olup olmadığı bilinmemektedir. Tek bir istisna dışında, bilinen tüm çözümler 2. Znám'ın sorununa veya uygun olmayan Znám sorununa bir çözümdeki tüm sayılar önemli, ürünleri bir birincil sözde mükemmel numara (Butske, Jaje ve Mayernik 2000 ); bu türden sonsuz sayıda çözümün var olup olmadığı bilinmemektedir.

Referanslar

  • Barbeau, G. E. J. (1971), "Problem 179", Kanada Matematik Bülteni, 14 (1): 129.
  • Brenton, Lawrence; Tepe Richard (1988), "Diophantine denkleminde 1 = Σ1 /nben + 1 / Πnben ve homolojik olarak önemsiz karmaşık yüzey tekillikleri sınıfı ", Pacific Journal of Mathematics, 133 (1): 41–67, doi:10.2140 / pjm.1988.133.41, BAY  0936356.
  • Brenton, Lawrence; Vasiliu, Ana (2002), "Znám'ın sorunu", Matematik Dergisi, 75 (1): 3–11, doi:10.2307/3219178, JSTOR  3219178.
  • Butske, William; Jaje, Lynda M .; Mayernik, Daniel R. (2000), "Denklemde , sözde mükemmel sayılar ve mükemmel ağırlıklı grafikler ", Hesaplamanın Matematiği, 69: 407–420, doi:10.1090 / S0025-5718-99-01088-1, BAY  1648363.
  • Cao, Zhen Fu; Jing, Cheng Ming (1998), "Znám'ın sorununun çözüm sayısı üzerine", J. Harbin Inst. Tech., 30 (1): 46–49, BAY  1651784.
  • Cao, Zhen Fu; Liu, Rui; Zhang, Liang Rui (1987), "Denklem üzerine ve Znám'ın sorunu ", Sayılar Teorisi Dergisi, 27 (2): 206–211, doi:10.1016 / 0022-314X (87) 90062-X, BAY  0909837.
  • Domaratzki, Michael; Ellul, Keith; Shallit, Jeffrey; Wang, Ming-Wei (2005), "Döngüsel tekli NFA'ların benzersiz olmaması ve yarıçapı", International Journal of Foundations of Computer Science, 16 (5): 883–896, doi:10.1142 / S0129054105003352, BAY  2174328.
  • Janák, Jaroslav; Skula, Ladislav (1978), "Tam sayılar üzerine hangisi için ", Matematik. Slovaca, 28 (3): 305–310, BAY  0534998.
  • Mordell, L. J. (1973), "Congruences Sistemleri", Kanada Matematik Bülteni, 16: 457–462, doi:10.4153 / CMB-1973-077-3, BAY  0332650.
  • Skula, Ladislav (1975), "Bir Znám sorunu üzerine", Açta Fac. Rerum Natur. Üniv. Comenian. Matematik. (Rusça, Slovakça özet), 32: 87–90, BAY  0539862.
  • Sun, Qi (1983), "Š. Znám'ın bir sorunu üzerine", Sichuan Daxue Xuebao (4): 9–12, BAY  0750288.
  • Güneş, Qi; Cao, Zhen Fu (1988), "Denklem üzerine ve Znám sorununun çözüm sayısı ", Kuzeydoğu Matematik Dergisi, 4 (1): 43–48, BAY  0970644.

Dış bağlantılar