sec−1(ax)−sec−1(bx)=sec−1b−sec−1a⇒cos−1(xa)−cos−1(xb)=cos−1(b1)−cos−1(a1)⇒cos−1{x2ab+1−x2a2⋅1−x2b2}=cos−1{ab1+1−b211−a21}[∵cos−1x−cos−1y=cos−1{xy+1−x21−y2}]⇒x2ab+x2(x2−a2)(x2−b2)=ab1+ab(b2−1)(a2−1)⇒a2b2+ab(x2−a2)(x2−b2)=x2+x2(a2−1)(b2−1)⇒ab(x2−a2)(x2−b2)−x2(a2−1)(b2−1)=x2−a2b2x2−a2b2 in RHS x2 has the minimum value zero because a2b2 is always positive and x2−a2b2=0 is positive. If ⇒x2=a2b2⇒x=abab