Воспользуемся "Формулой Валлиса", чтобы превратить Тау в произведение степеней простых чисел.
^2}{(2n)^2-1}=\frac{2^{2n} n!^2}{(2n-1)!!(2n+1)!!})
Учитывая, что:
!!=\frac{(2n+1)!}{2^nn!})
!!=\frac{(2n)!}{2^nn!})
Получим:
!(2n+1)!})
Следовательно двоичная запись Тау можно вычислить так:
!(2n+1)!}{n!^4})
Обратите внимание на то, что я отбросил степень двойки, которая в двоичной записи лишь двигает дробную запятую.
Я написал несложную программку, которая превращает это выражение в произведение степеней простых чисел для каждого конкретного n. Чтобы понять, как работает эта программа, посмотрите (для начала) как она превращает n! в произведение степеней простых чисел. Для этого скопируйте этот текст:
<SCRIPT>
var N=100;
var pN="2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97".split(",");
function getPower(N,n){
var nn=1;
var summ=0;
var s=0;
do{
summ+=s;
nn*=n;
s=Math.floor(N/nn)
}while(s);
return summ
}
var str=N+"! = ";
for(var i=0;i<pN.length;i++){
var n=pN[ i];
str+=n+"<SUP>"+getPower(N,n)+"</SUP>"
}
document.write(str)
</SCRIPT>
в файл factorial.html, и кликните мышкой в него дважды. Вы получите это:
100! = 297348524716119137175195234293313372412432472531591611671711731791831891971__________________________________________________________________________
Ну а эта программа вычисляет степени простых чисел для Тау:
<SCRIPT>
var N=50;
var K=2*N;
var L=2*N+1;
var pN="3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101".split(",");
function getPower(N,n){
var nn=1;
var summ=0;
var s=0;
do{
summ+=s;
nn*=n;
s=Math.floor(N/nn)
}while(s);
return summ
}
var str="Tau<sub>"+N+"</sub> = ";
for(var i=0;i<pN.length;i++){
var n=pN[ i];
str+=n+"<SUP>"+(getPower(K,n)+getPower(L,n)-4*getPower(N,n))+"</SUP>"
}
document.write(str)
</SCRIPT>Когда вы запустите эту программу, вы должны будете получить это:
Tau50 = 3850701121321721922302923123704104304705325926126727127327928328929721011