总错误:无法证明

31日视图(30天)

显示旧的评论

idriskameni 2019年3月5日

0
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/448405-error-in-isalways-unable-to-prove

编辑: 沃尔特·罗伯森 2019年3月5日

答:接受沃尔特·罗伯森

你好,

我想看看

2 / (g - d + 2 * r + 1) - 4 > = 0

有一些限制。

因此,我尝试使用

                         总(2 / (g - d + 2 * r + 1) - 4 > = 0 & r > = 1
                        
                         & g > = 1 & d > = 1 & r + gdae > = 0
                        
                         & nchoosek (r + 2, 2) > = 1 + 2 * d
                        
                         & g - (r + 1) * (r + gdae)——(nchoosek (r + 2, 2) 2 * d + g) > = 0
                        
                         & N = = nchoosek (r + 2, 2) 2 * d + g);

在哪里 N 是我输入一个值由计算机开始。

MatLab的回报

                         警告:不能证明1 = = g - 2 * d + nchoosek (r + 2, 2) & 0 < = 2 * d - (r + 1) * (g - d + r) - nchoosek (r + 2, 2) & 0 < = g -
                        
                         d + r & 2 * d - g + 1 < = nchoosek (r + 2, 2) & 1 < = < = g d & 1 & 1 < = r & 0 < = 2 / (g - d + 2 * r + 1) - 4”。
                        
                         >在symengine
                        
                         在信谊/总(38)行
                        
                         在partitions1(38)行