我正在寻找一种工具来提取1页PDF文件的给定矩形区域（按坐标）并生成具有指定区域的1页PDF文件：
# in.pdf is a 1-page pdf file
extract file.pdf 0 0 100 100 > out.pdf
# out.pdf is now a 1-page pdf file with a page of size 100x100
# it contains the region (0, 0) to (100, 100) of file.pdf
我可以将PDF转换为图像并使用convert，但这意味着生成的PDF将不再是矢量的，这是不可接受的（我希望能够缩放）。
理想情况下，我想使用命令行工具或Python库执行此任务。
谢谢！