Нет никакого секрета
Открываете исходный файл, например, этот
в каком-нибудь [фото]редакторе (Photoshop, ACDSee, есть еще куча бесплатных, но редактор должен быть именно "фото", виндовский Paint не подойдет, он уменьшает грубо, не пересчитывая картинку) ;
Если нужно, вырезаете из него нужный фрагмент, по возможности квадратной формы (в проконях место под аватарки квадратное, но допускаются и неквадратные, только их придется еще меньше делать) и отсекая как можно больше лишнего (в данном случае отрезать почти нечего...)
Если нужно, подстраиваете цвета и их насыщенность, делаете нужную вам художественную обрабботку... (тут я просто весь фон сделал несколько бледнее, иначе, после уменьшения все сольется и основной объект будет плохо различим)
Уменьшаете полученную картинку до такого размера, чтобы бОльшая сторона была 80 точек (можно меньше, но зачем? )
Ну и неплохо в конце "подшарпить" (увеличить резкость), потому, что при уменьшении теряются привычные детали и картинка будет казаться несколько размытой
Сохраняете полученный результат в формате JPEG.
Ну, все, вроде готово. Только размер файла получился больше, чем заветные 9 килобайт (здесь больше девяти не влезет...). Всё потому, что я обрабатывал в фотошопе, а он, зараза, кроме картинки в файле сохраняет еще и дополнительные данные, которые не сохранять заставить его не получается... (В ACDSee, например, такой проблемы нет)
Для выхода из положения полученный файл можно просто открыть, например, в том же виндовском Paint'е и тут же, ничего не делая, сохорнить. Теперь стало 5 килобайт, так что, даже с запасом. Можно юзать.