A145379 - OEIS

%I #3 Apr 25 2016 11:45:53

%S 1,1,1,0,0,1,0,1,1,1,0,0,0,0,1,0,0,1,0,1,1,0,0,0,0,1,0,1,0,0,0,1,0,0,

%T 1,1,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,1,0,0,

%U 0,0,0,1,0,0,0,0,1,1,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0,0,0

%N Square array read by antidiagonals upwards.

%C This array is used in the proof of the Moebius function as a zero corner determinant of the Redheffer matrix. This table is the transpose of A051731 where the first row has been deleted.

%e Table begins:

%e 1,1,1,1,1,1,1,...

%e 1,0,1,0,1,0,1,...

%e 0,1,0,0,1,0,0,...

%e 0,0,1,0,0,0,1,...

%e 0,0,0,1,0,0,0,...

%e 0,0,0,0,1,0,0,...

%e 0,0,0,0,0,1,0,...

%e ...

%o (Excel) =if(mod(column()+1;row())=0;1;0)

%Y Cf. A008683, A051731, A143104.

%K nonn,tabl

%O 1,1

%A _Mats Granvik_, Oct 09 2008