Как для установки Linux расширить доступное место на Windows 10 для сжатия HDD?
Отключаете файл подкачки, или переносите на другой диск.
Отключаете гибернацию.
Отключаете защиту системы и удаляете все теневые копии.
Перезагружаетесь, дефрагментируете диск, после чего сжимаете.
Дефрагментировать разумеется  надо штатным дефрагментатором, а не левыми какими-то.
Ну или проще всего - загрузитесь с установочного диска, и переразметьте диск как надо, без всяких заморочек.
1) дефрагментировать надо не только файлы, но и свободное место. Именно непрерывное свободное месту требуется для увеличения объёма этого вашего раздела. Файл может быть и не фрагментированым, но находиться как раз за 9 Гб до конца поверхности диска.
На крайний случай - partition magic по-моему умеет двигать разделы и свободные места как вздумается.