A096270 ponderings

[Don Reble]

Seqfans:

%I A096270
%S A096270 0,1,0,1,1,0,1,0,1,1,0,1,1,0,1,0,1,1
%N A096270 Fixed point of the morphism 0->01 1->011.
%Y A096270 Cf. A003849, A096268.
%K A096270 nonn,easy,more,new
%O A096270 0,1
%A A096270 njas, Jun 22 2004

The k'th zero seems to occur at position floor(ak+b), where a=sqrt(2)+1
and b=1/sqrt(2). Is there an easy way to prove that? Does that derived
sequence qualify as a Beatty sequence?

--
Don Reble       djr at nk.ca