免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

请教在证明过程中插入某个不关键的证明,怎么弄?

比如一个证明题,需要用到某个简短的证明(下面假设这个需要证明的简短的问题就是*),下面这样写:
begin proof
……
因为*(*这里可以引用引理,但是没几行字,不想单独列成引理,也可以写成脚注形式,但是脱离正文了,不太方便)
所以……
end proof
现在就是想把*号的地方用小字排在证明的正文当中。*号的证明对整个证明来说不是特别关键,但又不像垂径定理、勾股定理那样,没有特定的定理名称来指代,也不那么显然,还需要简单证明几句。

请教有没有什么专用的环境来做这个的?
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

回复 1# abababa

举个特定的例子:
$m$是$1,2,\cdots,n$的最小公倍数。

将$1,2,\cdots, n$因子分解,找出其中含有因子$2$最多的数$c$($1,2,\cdots,n$中这样的数只有一个,否则设存在数$c_1=2^t\cdot k_1, c_2=2^t\cdot k_2, k_1<k_2$且$k_1,k_2$都是奇数,则$k_1,k_2$间必有一偶数$2k$,因此$1,2,\cdots,n$中存在数$c' = 2^t\cdot 2k=2^{t+1}k$,于是找到了一个含有因子$2$更多的数$c'$,与$c$的取法矛盾)则$\frac{m}{c}$为奇数。(否则,因为其余数$\frac{m}{i}, i \neq c$至少含有因子$2$,假设$\frac{m}{c}$是偶数,则它也含有因子$2$,于是所有$\frac{m}{i}$都含有因子$2$,与$m$是最小公倍数矛盾)。……

上面这段证明中的两个括号处,就是主楼说的,想用小字排在证明正文中的部分。

TOP

我个人直接单独设个字号字体即OK了。

TOP

如果是较长的,我会先单独拿出来写,如果是不太长的,直接像你那样用括号就行。
当然还有一个选择就是边注

TOP

回复 4# 色k

谢谢,我试试边注的办法,从来没用过,只用过脚注。

TOP

返回列表 回复 发帖