结构推理 设有代数系统(A,*),对任意a,b,c,d∈A,有
   (1)a*a=a:
   (2)(a*b)*(c*d)=(a*c)*(b*d).
   试证明:a*(b*c)=(a*b)*(a*c).
【正确答案】证明  a*(b*c)=(a*a)*(b*c)    根据(1)
   =(a*b)*(a*b)    根据(2)
【答案解析】此类证明主要考核一种演算能力,必须在演算过程中牢记“根据什么得出下一步”.运算符的含义可能千变万化,千万不能将习惯用的数学知识盲目套上去,能用的只有题目中给出的条件.
   本题证明等号后的第一个式子是根据条件(1),将原来的a用a*a来代替;第二个等号后的式子是根据条件(2)将中间两个元素交换位置,即将(a*a)*(b*c)中第二个a和b交换位置,从而得到结果(a*b)*(a*c).