arcsin(x)+arccos(x)=pi/2: A visualization and proof

In this video we give visualizations and proofs of 3 different identities involving inverse trig functions: arcsin(x)+arccos(x)=pi/2, arcsec(x)+arccsc(x)=pi/2, and arctan(x)+arccot(x)=pi/2.