от dim » 29 Яну 2010, 21:36
Нека разгледаме случаят [tex]b=1, c=1, n=1[/tex]:
[tex]f(n).f(n+1)=f(M)[/tex] <=> [tex](a+2)(4a+3)=aM^2+M+1[/tex] <=> [tex]aM^2+M+1-(a+2)(4a+3)=0[/tex]. За да е [tex]M[/tex] естествено трябва поне дискриминантата [tex]D[/tex] да е точен квадрат. [tex]D=1-4a-4a(a+2)(4a+3)=16 a^3+ 44 a^2+ 20 a +1[/tex] и за нея могат да се намерят доста контримери, че не е точен квадрат => има някаква неточност в условието.
Нека [tex]a=1[/tex],
тогава [tex]f(n).f(n+1)=f(M)[/tex] <=> [tex](n^2+bn+c)(a(n+1)^2+b(n+1)+c)=M^2+bM+c[/tex]<=>
<=>[tex]M^2+bM+c-(n^2+bn+c)(a(n+1)^2+b(n+1)+c)=0[/tex]. Дискриминантата трябва да е точен квадрат за всяко [tex]b,c,n[/tex]: [tex]D=b^2-4c+4(n^2+bn+c)((n+1)^2+b(n+1)+c)=(b+2 n+2 n^2+2 c+2 n b)^2[/tex]=>
=>[tex]M=n+n^2+c+n b[/tex] - цяло, т.е, за всяко [tex]B,C,n[/tex] съществува такова [tex]M[/tex], че:
[tex](n^2+Bn+C)((n+1)^2+(n+1)B+C)=M^2+BM+C[/tex]. Като положим [tex]B=\frac{b}{a}[/tex], [tex]C=\frac{c}{a}[/tex] и умножим двете страни на у-то по [tex]a^2[/tex] [tex](a\in Z, a\ne 0)[/tex] , получаваме: [tex]f(n)f(n+1)=af(M)[/tex], което може би се търси да се докаже??