Let 2x−1=y, then x2−2x−3=(x−1)2−4=4y2−4, i.e., 4y2−4=12[y], which means y2−1=3[y]. Therefore, y2−1=3[y]⩽3y, and y2−1=3[y]>3(y−1). From y2−1⩽3y we get 23−13⩽y⩽23+13, and from y2−1>3(y−1) we get y>2 or y<1, so 23−13⩽y<1 or 2<y⩽23+13. Therefore, [y]=−1, or 0, or 2, or 3.
If [y]=−1, then from y2−1=3[y] we get y2=−2, which is a contradiction! If [y]=0, then from y2−1=3[y] we get y=±1, which is a contradiction! If [y]=2, then y=7, if [y]=3, then y=10, in summary, y=7 or 10. Therefore, x=1+27 or x=1+210.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.