Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given two relatively prime integers a and b, is there an easy characterization for when a^2+b^2 is square free?

Edit: The above question proved to be too general. The problem I had in my mind is as follows: given the two sequences $a_n$ and $b_n$ defined by $a_0=b_0=1$, $a_{n+1}=a_nb_n,\ b_{n+1}=a_n^2+b_n^2$, are the $b_n$'s square free and coprime?

share|improve this question
    
But I think it's easy to count the number of such pairs (a,b), asymptotically. That could give an idea of "how likely" it is for a^2 + b^2 to be squarefree. I don't know if this is of any interest for you. –  maks Mar 2 '10 at 8:43
    
Unfortunately, no! The problem at hand is the recurrence $u_0=1,\ u_{n+1}=u_n+1/u_n$ which corresponds to the two sequences $a_0=b_0=1,\ a_{n+1}=a_nb_n,\ b_{n+1}=a_n^2+b_n^2$. My conjecture is that the $b_n$'s are square free and coprime, which I am unable to (dis)prove until now! –  Dee Mar 2 '10 at 10:55
    
The $b_n$ are sequence A073833 in the Online Encyclopedia of Integer Sequences, research.att.com/~njas/sequences/A073833 but none of the information there bears directly on the problems of squarefreeness or coprimality. –  Gerry Myerson Mar 3 '10 at 2:21

1 Answer 1

up vote 7 down vote accepted

No. To the best of my knowledge, it is not even known whether Fermat numbers are squarefree.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.