※ 引述《dj533kevin (乌鸦)》之铭言： : 1.加法交换律　A女友与B男友的关系，跟B男友与A女友的关系相同 : 2.加法结合律 A女友 B男友 C女友。 : (A与B) C为第三者的麻烦 跟 (B与C) A为第三者的麻烦相同 : 3.0元素 存在一个 0 女友 使得有0女友与单身是同样状况 : 4.反元素 每一个男人都可以接受手术成为不男不女 : 5.乘法交换律 A跟B在一起的开销，与B跟A在一起的开销一样 : 6.乘法结合律 Ax(BxC)的满足感 与 (AxB)xC的满足感相同 : 7.单位元素 当你单身的时候，你可以单身下去 : 8.反元素 永远存在第三者使得你会回到单身状态 : 9.分配律 你同时追两个女生花的钱，等同於分开追求 : 10. 1不等於0 就算你单身，至少你还不用砍掉重练 : 当满足以上十大性质时，我们称之为order field : 典型的男女模型看来都有符合以上条件 假设此群是well-defined 现有三元素 A女 B男 C女 由2. (A+B)+C = A+(B+C) 由1. A+B = B+A 所以 (A+B)+C = (B+A)+C = B+(A+C) = (A+C) +B 也就是说(A与B) C为第三者的麻烦和 (B与C) A为第三者的麻烦 和(A与C) B为第三者的麻烦相同 但(A女与C女) B男为第三者的麻烦 (需解释) Claim that 一.如果 A,C为les. 则矛盾 => 此群不成立 二.如果 A,C有一为bi =>成立 (推出细理: 若X,Y符合此群,则至少有一人为bi x,y可同为男或女) 二与加法单位元素矛盾 (0女友或0男友与单身不一定同样) 若同时有着0女友与0男友 则违背零元素为unique 由以上各点得出 加法交换律与结合律互不成立 此群不成立 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.120.226.143