可以通过以下步骤导出洋葱数学的视频：

1. 进入洋葱数学官网或APP，找到想要导出的视频，并播放；2.打开电脑屏幕录制软件或手机录屏软件，开始录制；3.录制完成后，对录制视频进行剪辑和编辑，如果需要就加上音频和字幕；4.最后保存并导出完成的视频，你就可以将洋葱数学视频导出了。

目前洋葱数学暂时没有提供视频导出功能，因此需要自己进行录制和编辑。希望以上步骤能够对你有所帮助。