离散数学题：证明题设是格,试证明对于所有的a,b,c属于L有(a≤b）=>(a∨(b∧c)≤b∧(a∨c))

离散数学题：证明题设是格,试证明对于所有的a,b,c属于L有(a≤b）=>(a∨(b∧c)≤b∧(a∨c)) 离散数学题,设R是A上的二元关系,定义S={(a,b)|∃ c∈A,(a,c)∈R,(c,b)∈R},证明 证明:|a-b|≤|a-c|+|b-c|(a,b,c均为向量） 设A,B,C是集合,且A∩B=A∩C=空集,B≈C,证明A∪B≈A∪C.这是离散数学题,谢谢了（急用） 证明 +(a-b)(b-c)(c-a)/(a+b)(b+c)(c+a)=0 证明：对于仍以的a、b、c、d属于R,恒有不等式 行列式证明|b+c c+a a+b| | a b c||a+b b+c c+a| = 2 |c a b||c+a a+b 均值不等式问题,已知a,b,c属于R,且a/(b+c)=b/(a+c)-c/(a+b),证明b/(a+c)≥（√17-1 证明：如果a>b,c 任意集合A B C 证明 (A∪B)- (B∪C) = A-B-C 证明：对于任意实数a,b,c,方程（x-a）(x-b)+(x-b)(x-c)+(x-c)(x-a)=0总有实数根. 试证明在格中,若a∧b∧c=a∨b∨c,则a=b=c