See the attachment

20220504_31476

update: Nothing need to be assumed when k=0, so a0,a1 can be any number.

In comparison, the case is different if we take the larger root k=1. In this case, a1 must be zero to make P_2^2(k)a1 = 0.