(2^(x y) - 1) / (2^x - 1)

Discussion in 'МАТЕМАТИКА' started by _DEN_, Nov 27, 2020.

  1. _DEN_

    _DEN_ DEN

    Blog Posts:
    0
    Joined:
    Oct 8, 2003
    Messages:
    5,383
    Location:
    Йобастан
    Где-то на Википедии видел такую фразу: чтобы [math]2^p - 1[/math] было простым, должно быть простым и [math]p[/math], потому что если [math]p = x y[/math], то [math]2^p - 1[/math] делится на [math]2^x - 1[/math] и на [math]2^y - 1[/math].

    Как это выводится? Подстановками вижу что работает, но что-то не понимаю как это доказать. Wolfram Alpha тоже не понимает как разложить эту дробь.

    PS. Как записать [math]2^{xy}[/math] в этом вашем math?
    PSS _DEN_, вероятно, вот так [МАТН]2^{xy}[/МАТН]
     
    Last edited by a moderator: Nov 28, 2020
  2. q2e74

    q2e74 Well-Known Member

    Blog Posts:
    0
    Joined:
    Oct 18, 2018
    Messages:
    1,000
    ваш ответ почти в любом учебнике по теории чисел.
     
  3. _DEN_

    _DEN_ DEN

    Blog Posts:
    0
    Joined:
    Oct 8, 2003
    Messages:
    5,383
    Location:
    Йобастан
    Да ладно, а я-то надеялся на Филдсовскую премию! Не надо писать в тред, если нечего ответить.
     
  4. q2e74

    q2e74 Well-Known Member

    Blog Posts:
    0
    Joined:
    Oct 18, 2018
    Messages:
    1,000
    ну хз, критерий Поклингтона. Если совсем упарываться, то да, числа Софи-Жермен тупо ищуться перебором.
     
  5. Aoizora

    Aoizora Active Member

    Blog Posts:
    0
    Joined:
    Jan 29, 2017
    Messages:
    365
  6. _DEN_

    _DEN_ DEN

    Blog Posts:
    0
    Joined:
    Oct 8, 2003
    Messages:
    5,383
    Location:
    Йобастан
    Числа Мерсенна, да. Но вопрос был не в этом. Фраза на вики как бы намекала, что сабж можно успростить таким образом, что будет видно, что результат деления - целый. То есть, при делении в буквенном виде должно получиться выражение, из которого видно, что результат деления - целый. Или я чего-то не понимаю?
     
  7. НетРегистрации

    НетРегистрации Member

    Blog Posts:
    0
    Joined:
    Feb 1, 2020
    Messages:
    72
    [math](2^x - 1)\cdot (2^x - 1) = 2^{2x} - 2^x - 2^x + 1 = 2^{2x} - 2(2^x - 1) - 1[/math] т.к. [math]1=2-1[/math]
    [math](2^{nx} -1) \cdot(2^x - 1) = 2^{(n+1)x} - 2^{nx} - 2^x +1 =[/math]
    [math]= 2^{(n+1)x} - (2^{nx} - 1) - (2^x - 1) - 1[/math] : [math]n=2,3,....[/math]
    основание не обязательно 2 для этого
     
  8. Indy_

    Indy_ Well-Known Member

    Blog Posts:
    4
    Joined:
    Apr 29, 2011
    Messages:
    4,789
    _DEN_,

    Врядле это можно свернуть. Линейная обратная зависимость двух не линейных функций, которые матем врядле решаются.