x<0 için de eşitliğin ispatı:
−1≤x<0 olsun. 0<−x≤1 olur. Önceki ispattan dolayı:
arcsin(−x)+arccos(−x)=π2 olur.
arcsin(−x)=−arcsinx ve arccos(−x)=π−arccosx olur.
(örneğin ikincisi için: 0≤π−arccosx≤π ve cos(π−arccosx)=−cos(arccosx)=−x den)
(Bu eşitlikler, ters sinüs ve ters kosinüsün standart tanımındaki gibi arcsin:[−1,+1]→[−π2,π2] ve arccos:[−1,+1]→[0,π] iken doğrudur). Bunlar yukarıdaki eşitlikte yerine konursa (−1≤x<0 için):
−arcsinx+π−arccosx=π2 olur.
Bu eşitlik düzenlendiğinde (−1≤x<0 iken de):
arcsinx+arccosx=π2 elde edilir.
Not: Ayrıca (Her x∈[−1,+1] için) arccos(−x)=π−arccosx olduğunu da göstermiş olduk)