f(x)=cos(logx)
→f(2/x)=cos(logc 2/x)=cos(logx2)=cos(−logx)
=cos(logx)
→f(2/y)=cos(logx 2/y)=cos(logy−1)=cos(−1logy)
=cos(logy)
→f(x/y)=cos(log(x/y))=cos(logx−logy)
→f(x.y)=cos(log(x.y))=cos(logx+logy)
LHS
=f(2/x).f(2/y)−12(f(x/y)+f(xy))
=cos(logx).cos(logy)−12[cos(logx)(−logy)+cos(logx+logy)]
=cos(logx).cos(logy)−12[2cos((logx−logy+logx+logy)2)×cos(logx−logy−logx−logy)2]
(∵cos(α−β)+cos(α+β)=2cosα+β2.cosα−β2)
=cos(logx)−cos(logy)−12[2cos(logx).coslogy]
=cos(logx).cos(logy)−cos(logx)−cos(logy)
=0
=RHS