左边=[sin(a+b)/2*sin(a-b)/2]/[cos(a+b)/2*cos(a-b)/2],积化和差之后可以知道左边=[cosb-cosa]/[cosa+cosb],把已知条件带入可知左边=[1-cosr]/[1+cosr],分子分母都和差化积就可以知道左边=[tanr/2]^2