提取视频中的音频文件

要提取一个视频文件中的音频文件，可以使用Python中的moviepy库。

以下是提取视频中音频文件的示例代码：

import moviepy.editor as mp

# 定义视频文件路径和音频文件路径
video_path = "video.mp4"
audio_path = "audio.mp3"

# 使用moviepy库进行音频提取
clip = mp.VideoFileClip(video_path)
clip.audio.write_audiofile(audio_path)

在代码中，首先定义了视频文件路径和音频文件路径。然后使用moviepy库的`VideoFileClip`函数将视频文件加载为一个Clip对象。最后，使用Clip对象的`audio`属性，将音频部分提取出来，并用`write_audiofile`函数将其保存为一个音频文件。

执行以上代码后，将会在当前工作目录下生成一个名为`audio.mp3`的音频文件，它是从视频文件提取出来的。