$4000 is the common example because it is the amount needed to get the maximum AOTC. In your case you only have $1700 of expenses. So, yes, you declare the whole $9100 of scholarship as taxable, allowing you to use the whole $1700 for the AOTC.
