cp's OEIS Frontend

A081240 a(n) = #{(i,j): mu(i)*mu(j) = 1, 1<=i,j<=n}, where mu = A008683 (Moebius function).

%I A081240 #18 Aug 23 2024 20:55:48
%S A081240 1,2,5,5,10,13,20,20,20,25,34,34,45,52,61,61,74,74,89,89,100,113,130,
%T A081240 130,130,145,145,145,164,185,208,208,225,244,265,265,290,313,338,338,
%U A081240 365,394,425,425,425,452,485,485,485,485,514,514,549,549,580,580,613
%N A081240 a(n) = #{(i,j): mu(i)*mu(j) = 1, 1<=i,j<=n}, where mu = A008683 (Moebius function).
%C A081240 A081238(n) + A081239(n) + a(n) = n^2;
%C A081240 a(n) = a(n-1) iff mu(n) = 0.
%H A081240 Alois P. Heinz, <a href="/A081240/b081240.txt">Table of n, a(n) for n = 1..10000</a> (first 520 terms from Reinhard Zumkeller)
%F A081240 a(n) = |Sum_{i=1..n} sqrt(mu(i))|^2. - _Enrique Pérez Herrero_, Jul 30 2012
%F A081240 a(n) = A070548(n)^2 + A070549(n)^2. - _Jason Yuen_, Aug 23 2024
%e A081240 n mu(n) ... n: 1 2 3 4 5 6 7 8
%e A081240 - ------ .... |---------------->
%e A081240 1 .. +1 ..... | + - - 0 - + - 0
%e A081240 2 .. -1 ..... | - + + 0 + - + 0
%e A081240 3 .. -1 ..... | - + + 0 + - + 0
%e A081240 4 ... 0 ..... | 0 0 0 0 0 0 0 0
%e A081240 5 .. -1 ..... | - + + 0 + - + 0 a(8)=20, as there are
%e A081240 6 .. +1 ..... | + - - 0 - + - 0 20 '+1's in the 8x8-square
%e A081240 7 .. -1 ..... | - + + 0 + - + 0 (represented as '+')
%e A081240 8 ... 0 ..... | 0 0 0 0 0 0 0 0.
%t A081240 Table[Abs[Sum[Sqrt[MoebiusMu[i]],{i,1,n}]]^2,{n,60}] (* _Enrique Pérez Herrero_, Jul 30 2012 *)
%o A081240 (Haskell)
%o A081240 a081240 n = length [() | u <- [1..n], v <- [1..n],
%o A081240                          a008683 u * a008683 v == 1]
%o A081240 -- _Reinhard Zumkeller_, Aug 03 2012
%Y A081240 Cf. A008683, A070548, A070549.
%K A081240 nonn
%O A081240 1,2
%A A081240 _Reinhard Zumkeller_, Mar 11 2003