说一下思路吧，首先把cos(a+b)展开为cos(a)cos(b)-sin(a)sin(b)，然后由于a,b为0~PI/2，所以sin(a)=sqrt(1-cos(a)^2)，把第一个等式代入第二个等式，就是解一元二次方程了。为了书写简单，可以令x=cos(a),y=cos(b)。则x=1/7, xy-sqrt(1-x^2)sqrt(1-y^2)=-11/14
