1. 程式人生 > >兩個數學家的問題,“你不知道我不知道你知道我知道”

兩個數學家的問題,“你不知道我不知道你知道我知道”

2)由題設條件:甲不知道答案 <=> A=x+y 解不唯一 => A >= 5;
 分兩種情況:
 A = 5, A = 6 時 x, y 有雙解
 A >= 7 時 x, y 有三重及三重以上解
 假設 A=x+y=5
 則有雙解
 x1=1,y1=4;
 x2=2,y2=3
 代入公式B=x*y:
 B1=x1*y1=1*4=4;(不滿足推論1,捨去)
 B2=x2*y2=2*3=6;
 得到唯一解x=2,y=3即甲知道答案。
 與題設條件:"甲不知道答案"相矛盾 ,
 故假設不成立,A=x+y≠5
 假設 A=x+y=6
 則有雙解:
 x1=1,y1=5;
 x2=2,y2=4
 代入公式B=x*y:
 B1=x1*y1=1*5=5;(不滿足推論1,捨去)
 B2=x2*y2=2*4=8;
 得到唯一解x=2,y=4
 即甲知道答案
 與題設條件:"甲不知道答案"相矛盾
 故假設不成立,A=x+y≠6
 當A>=7時
 ∵ x,y的解至少存在兩種滿足推論1的解
 B1=x1*y1=2*(A-2)
 B2=x2*y2=3*(A-3)
 ∴ 符合條件
 結論(推論2):A >= 7