[{"data":1,"prerenderedAt":249},["ShallowReactive",2],{"article-\u002Fpages\u002Fnum-proof-gen":3},{"current":4,"prev":246,"next":228},{"id":5,"title":6,"body":7,"date":211,"description":212,"downloads":216,"extension":217,"hide":218,"links":219,"meta":226,"navigation":227,"ogImage":228,"path":229,"schemaOrg":228,"seo":230,"sitemap":232,"stem":234,"tags":235,"updatedAt":233,"__hash__":245},"pages\u002Fpages\u002Fnum-proof-gen.md","数字论证生成器",{"type":8,"value":9,"toc":198},"minimark",[10,19,23,40,48,65,68,78,88,100,103,106,114,117,126,129,158,169,172,183,191,194],[11,12,6,14],"h1",{"id":6,"class":13},"section-heading",[15,16],"a",{"class":17,"href":18},"section-link","#数字论证生成器",[20,21,22],"p",{},"本应用可以使用整数（13 位内）论证任意实数。",[24,25,30],"pre",{"className":26,"code":27,"language":28,"meta":29,"style":29},"language-python shiki shiki-themes one-dark-pro one-dark-pro one-light","114514=(1+9+1)*9810+(1\u002F9-1+9)*810+(19+1)*(9+8)\u002F10\n","python","",[31,32,33],"code",{"__ignoreMap":29},[34,35,38],"span",{"class":36,"line":37},"line",1,[34,39,27],{},[20,41,42,43,47],{},"此应用用于代替 ",[15,44,46],{"href":45},".\u002Fdemonstrator","XXXX 论证器","。",[49,50,51,52],"h2",{"id":51,"class":13},"使用方法",[15,53,55,60],{"class":17,"href":54},"#使用方法",[34,56,59],{"className":57},[58],"visually-hidden","章节",[34,61,64],{"ariaHidden":62,"tabIndex":63},"true",-1," §",[20,66,67],{},"本应用可自动搜索和构造由指定数字构成的表达式，并实时论证数字。在页面中：",[69,70,71,75],"ul",{},[72,73,74],"li",{},"“要论证的结果为”输入框中，输入任意实数。",[72,76,77],{},"“用于论证的数字”输入框中，输入不超过 13 位的非负整数。",[20,79,80,81,84,85,47],{},"页面会实时显示论证结果，形如 ",[31,82,83],{},"“要论证的结果为”=“用于论证的数字”构成的表达式","，例如 ",[31,86,87],{},"1=12\u002F3\u002F4",[89,90,91,92],"h3",{"id":91,"class":13},"输出格式",[15,93,95,98],{"class":17,"href":94},"#输出格式",[34,96,59],{"className":97},[58],[34,99,64],{"ariaHidden":62,"tabIndex":63},[20,101,102],{},"本应用支持数学符号、Python 和 TeX 格式输出。在页面下方可点击按钮切换格式，同时会显示每种格式的字符数，也可以快捷复制对应格式的文本。",[20,104,105],{},"数学符号格式中，会使用更常见的乘除号：",[24,107,112],{"className":108,"code":110,"language":111,"meta":29},[109],"language-text","(1+23)×4+1+2-3+4\n","text",[31,113,110],{"__ignoreMap":29},[20,115,116],{},"Python 格式中，会替换部分符号，可作为有效 Python 表达式运行：",[24,118,120],{"className":26,"code":119,"language":28,"meta":29,"style":29},"(1+23)*4+1+2-3+4\n",[31,121,122],{"__ignoreMap":29},[34,123,124],{"class":36,"line":37},[34,125,119],{},[20,127,128],{},"TeX 格式中，会为括号标注左右，同时符号也使用数学中的乘除号：",[24,130,134],{"className":131,"code":132,"language":133,"meta":29,"style":29},"language-tex shiki shiki-themes one-dark-pro one-dark-pro one-light","\\left(1+23\\right) \\times 4+1+2-3+4\n","tex",[31,135,136],{"__ignoreMap":29},[34,137,138,142,146,149,152,155],{"class":36,"line":37},[34,139,141],{"class":140},"ssHZq","\\left",[34,143,145],{"class":144},"sAxZK","(1+23",[34,147,148],{"class":140},"\\right",[34,150,151],{"class":144},") ",[34,153,154],{"class":140},"\\times",[34,156,157],{"class":144}," 4+1+2-3+4\n",[49,159,160,161],{"id":160,"class":13},"更多信息",[15,162,164,167],{"class":17,"href":163},"#更多信息",[34,165,59],{"className":166},[58],[34,168,64],{"ariaHidden":62,"tabIndex":63},[20,170,171],{},"关于更多信息，例如工作原理和技术架构，请前往相关链接中的仓库。",[49,173,174,175],{"id":174,"class":13},"鸣谢与许可证",[15,176,178,181],{"class":17,"href":177},"#鸣谢与许可证",[34,179,59],{"className":180},[58],[34,182,64],{"ariaHidden":62,"tabIndex":63},[20,184,185,186,47],{},"本应用中部分代码包含修改版的 itorr\u002Fhomo（恶臭数字论证器），关于其说明请见 ",[15,187,188],{"href":188,"rel":189},"https:\u002F\u002Fgithub.com\u002Fitorr\u002Fhomo",[190],"nofollow",[20,192,193],{},"许可证：MIT License。",[195,196,197],"style",{},"html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html.dark .shiki span {color: var(--shiki-dark);background: var(--shiki-dark-bg);font-style: var(--shiki-dark-font-style);font-weight: var(--shiki-dark-font-weight);text-decoration: var(--shiki-dark-text-decoration);}html .light .shiki span {color: var(--shiki-light);background: var(--shiki-light-bg);font-style: var(--shiki-light-font-style);font-weight: var(--shiki-light-font-weight);text-decoration: var(--shiki-light-text-decoration);}html.light .shiki span {color: var(--shiki-light);background: var(--shiki-light-bg);font-style: var(--shiki-light-font-style);font-weight: var(--shiki-light-font-weight);text-decoration: var(--shiki-light-text-decoration);}html pre.shiki code .ssHZq, html code.shiki .ssHZq{--shiki-default:#56B6C2;--shiki-dark:#56B6C2;--shiki-light:#0184BC}html pre.shiki code .sAxZK, html code.shiki .sAxZK{--shiki-default:#ABB2BF;--shiki-dark:#ABB2BF;--shiki-light:#383A42}",{"title":29,"searchDepth":199,"depth":200,"links":201},2,3,[202,207,209],{"id":51,"depth":199,"text":203,"children":204},"使用方法章节 §",[205],{"id":91,"depth":200,"text":206},"输出格式章节 §",{"id":160,"depth":199,"text":208},"更多信息章节 §",{"id":174,"depth":199,"text":210},"鸣谢与许可证章节 §","2026-11-03",[213,214,215],"一个基于 Web 的数字论证生成器，可用指定整数自动构造表达式来论证任意实数。","支持实时搜索、数学符号\u002FPython\u002FTeX 多格式输出、分享链接与高级搜索选项。","内置表达式树自动化简与实数分解规则，适合数学娱乐、表达式构造与 Web 工具探索。",[],"md",false,[220,223],[221,222],"https:\u002F\u002Fisbenben.github.io\u002Fnum-proof-gen","体验生成器",[224,225],"https:\u002F\u002Fgithub.com\u002FIsBenben\u002Fnum-proof-gen","相关仓库",{},true,null,"\u002Fpages\u002Fnum-proof-gen",{"title":6,"description":231},[213,214,215],{"loc":229,"lastmod":233},"2026-11-04","pages\u002Fnum-proof-gen",[236,239,242],[237,238],"lang","web",[240,241],"inspiration","adaptation",[243,244],"content","tool","appkfxz0WoGgv8Y9SI6Q70HfKWnvpTRDfLNhfaNFA78",{"title":247,"path":248},"JavaScript布尔值异或（xor）","\u002Fpages\u002Fjs-boolean-xor",1793962645079]