推理图解•文生图
康托尔对角线证明图
用假设的小数列表、高亮对角线、逐位改写和新构造数字，可视化康托尔对角线论证。
新账号可免费完成一次 1024px 文生图。
可直接复制的中文提示词
替换与你项目相关的变量，保留有效约束，每次只调整一个主要条件。
prompt.txt
创建一张清晰且数学上准确的康托尔对角线论证图，证明实数不可数。展示一个假设完整的 0 到 1 之间实数小数列表，用红色高亮对角线数字；随后逐位改变对角线上的每个数字，构造一个新的小数，并说明它为什么不可能出现在列表任何一行。将“列表、对角线、逐位变化、新数与结论”分成清晰步骤，使用【行数】行示例和独立结论框。
英文原始提示词
需要核对术语或使用英文生成时，可展开查看并单独复制原文。
Create a clear, mathematically accurate visualization of Cantor's diagonal argument proving that real numbers are uncountable. Show a hypothetical complete list of real numbers between 0 and 1, with a diagonal highlighted in red. Then show how to construct a new number by changing each digit along the diagonal, demonstrating it can't appear anywhere in the list.
为什么有效
- 证明被拆成列表、对角线、变换和结论四部分。
- 红色高亮给出明确的阅读路径。
- 新构造数字直接回扣它不可能位于原列表的结论。
可替换变量
- 小数行数
- 高亮颜色
- 说明标注的详细程度
常见失败与修正
- 用于教学前核对每一位数字与逻辑陈述。
- 清晰度优先时减少示例行数。
- 结论使用独立方框，不要堆成长段落。
继续探索
