I could not find any integer solution until n=12000
What is your interpretation of the 方程组 n^2 = 2*m^2 - 1 = 3*k^2 - 2 的整数解? Do you mean (n+1)/2 is the number of Alice's daughters? In my proof for blond hair case, (k+1)/2 is the number of daughters with blond hair, the number of all daughters is not (n+1)/2, I calculated it from p(p-1)=3m(m-1) using m=(k+1)/2.