网页资讯视频图片知道文库贴吧地图采购
进入贴吧全吧搜索

 
 
 
日一二三四五六
       
       
       
       
       
       

签到排名:今日本吧第个签到,

本吧因你更精彩,明天继续来努力!

本吧签到人数:0

一键签到
成为超级会员,使用一键签到
一键签到
本月漏签0次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行补签。
连续签到:天  累计签到:天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
07月25日漏签0天
mathematica吧 关注:19,993贴子:74,325
  • 看贴

  • 图片

  • 吧主推荐

  • 游戏

  • 9回复贴,共1页
<<返回mathematica吧
>0< 加载中...

x^2-3y^2=2z^2是否存在正整数解?

  • 只看楼主
  • 收藏

  • 回复
  • 草红样
  • 小吧主
    9
该楼层疑似违规已被系统折叠 隐藏此楼查看此楼
这个是不存在的,Mathematica能否判断呢,下面的测试却没得到结果,是语法问题吗
Exists[{x, y, z}, x > 0 && y > 0 && z > 0 && x^2 - 3 y^2 == 2 z^2]
Resolve[%, Integers]
Exists[{x, y, z},
x \[Element] Integers && y \[Element] Integers &&
z \[Element] Integers,
x > 0 && y > 0 && z > 0 && x^2 - 3 y^2 == 2 z^2]
Resolve[%]


  • feiliupkpk
  • 列表操作
    9
该楼层疑似违规已被系统折叠 隐藏此楼查看此楼
感觉这种要逻辑推理证明啊。。
另外,mma能处理复杂的逻辑证明么?


2026-07-25 15:28:04
广告
不感兴趣
开通SVIP免广告
  • xzcyr
  • 吧主
    15
该楼层疑似违规已被系统折叠 隐藏此楼查看此楼
把域改成Reals它就能推理出True了……真是以这个思路解不了?


登录百度账号

扫二维码下载贴吧客户端

下载贴吧APP
看高清直播、视频!
  • 贴吧页面意见反馈
  • 违规贴吧举报反馈通道
  • 贴吧违规信息处理公示
  • 9回复贴,共1页
<<返回mathematica吧
分享到:
©2026 Baidu贴吧协议|隐私政策|吧主制度|意见反馈|网络谣言警示