Given cos−1x−cos−12y=α
cos−1A−cos−1B=cos−1(AB+1−A21−B2),
⇒cos−1(2xy+1−x2×1−4y2)=α
⇒2xy+1−x2×1−4y2=cosα
⇒cosα−2xy=1−x2×1−4y2
Squaring both sides, we get
cos2α+4x2y2−xycosα=(1−x2)(1−4y2)
⇒cos2α+4x2y2−xycosα=1−x2−4y2+4x2y2
⇒x2−xycosα+4y2=1−cos2α
⇒x2−xycosα+4y2=sin2α
⇒4x2−4xycosα+y2=4sin2α.