tanβ=nsinαcosα1−nsin2α⇒tan(α−β)=(1−n)tanαLHS=tan(α−β)=tanα−tanβ1+tanαtanβ=tanα−nsinαcosα1−nsin2α1+tanαnsinαcosα1−nsin2α=tanα−nsinαcosα1−nsin2α1+nsin2α1−nsin2α=tanα(1−nsin2α)−nsinαcosα1−nsin2α+nsin2α=tanα−ntanαsin2α−nsinαcosα=tanα−ntanα(sin2α+cos2α)=tan(1−n)=RHS