python编程，结果以代码表示：把一个文本文件复制到另一文件夹下，文件名不同，文件类型相同。

当然，这很简单！以下是一个 Python 代码示例，可以将源文件复制到目标文件夹中，并将其重命名为新的文件名。

import os
import shutil

# 设置源文件和目标文件夹路径
src_file = "/path/to/source/file.txt"
dest_folder = "/path/to/destination/folder/"

# 获取源文件名和目标文件名
src_filename = os.path.basename(src_file)
new_filename = "new_file_name.txt"
dest_file = os.path.join(dest_folder, new_filename)

# 复制文件
shutil.copy(src_file, dest_file)

print("文件已成功复制！")

上述代码使用 shutil 库中的 copy() 方法来实现文件复制。首先，我们指定源文件和目标文件夹路径，然后获取源文件名和新文件名。最后，我们使用 os.path.join() 将目标文件夹路径和新文件名组合成完整目标文件路径，并使用 shutil.copy() 将源文件复制到目标文件夹中。

希望这可以回答您的问题！