מישהו יודע אם יש זהות כזאת בטריגו?

יש

הזהות הזאת נכונה, אך אני לא יודע אם היא מותרת לשימוש כמו (sin(90-a)=cos(a אבל במקרה שלא, זה מאוד קל להוכיח את זה.
פותחים את (sin(90+a לפי הנוסחה
(sin(a+b)=sin(a)cos(b)+cos(b)sin(a
ומקבלים:
=(sin(90+a)=sin(90)cos(a)+cos(90)sin(a
אם נקיש במחשבון, נראה כי sin(90)=1, ו
cos(90)=0 כך שנקבל:

(cos(a)*1+0*sin(a)=cos(a