草图推演英语怎么说

草图推演英文为"sketch proof"。

来源：草图推演是数学和逻辑学中的一种证明方法，最早被提出于20世纪60年代，由英国数学家Paul Taylor提出。它是一种在证明过程中，通过草图或图像来表示思想和推导关系的方法。

例句：

"We can use a sketch proof to show that the angle in a semicircle is always 90 degrees."
"The sketch proof of this geometric theorem is quite elegant."

中文翻译：

"我们可以使用草图推演来证明半圆中的角度总是90度。"
"这个几何定理的草图证明非常优美。"