express both sides with t = tan(α/2) using the half-angle formulas for sinα, cosα
Let t=tan2α, so A=[0t−t0], I+A=[1t−t1], I−A=[1−tt1].
Recall the half-angle formulas: cosα=1+t21−t2, sinα=1+t22t.
Compute (I−A)[cosαsinα−sinαcosα]:
[1−tt1][cosαsinα−sinαcosα]=[cosα+tsinα−tcosα+sinα−sinα+tcosαtsinα+cosα]
Entry (1,1): cosα+tsinα=1+t21−t2+1+t22t2=1+t21+t2=1
Entry (1,2): −sinα+tcosα=1+t2−2t+t(1−t2)=1+t2−t−t3=−t
…