您可以使用Python的os模块来解决这个问题。下面是一个示例代码：

import os

def rename_files(folder_path):
    # 获取文件夹中的所有文件
    files = os.listdir(folder_path)
    
    for file in files:
        # 获取文件名和扩展名
        file_name, file_ext = os.path.splitext(file)
        
        # 保留前9个字符不变
        new_file_name = file_name[:9] + file_ext
        
        # 构建新的文件路径
        old_file_path = os.path.join(folder_path, file)
        new_file_path = os.path.join(folder_path, new_file_name)
        
        # 重命名文件
        os.rename(old_file_path, new_file_path)

# 调用函数并传入文件夹路径
folder_path = "your_folder_path"
rename_files(folder_path)

请将your_folder_path替换为您的文件夹路径。此代码将遍历指定文件夹中的所有文件，提取文件名和扩展名，然后将前9个字符保留不变，并将新的文件名与扩展名合并为新的文件名。最后，使用os.rename()函数将文件重命名为新的文件名。