Cytaty
Mikołaja Kopernika
[Mikołaja Kopernika, „O obrotach. Księga Pierwsza.”, OSSOLINEUM, Towarzystwo Naukowe w Toruniu – Prace Popularnonaukowe nr 50, Wrocław, 1987, str. 19., 9–21 linia]
[Mikołaj Kopernik, „Sposób bicia monety,” Pracownia Wydawnicza „Elset,” ISBN 798-83-61549-45-1, Olsztyn, 2023, str. 50, wers 1-7]
Jednym z najważniejszych odkryć matematycznych Kopernika było twierdzenie sinusów, które obecnie formułuje się następująco:
Dla dowolnego trójkąta ABC wpisanego w okrąg o promieniu R mamy następujące równania:
Zobacz jak to twierdzenie sformułował Kopernik

Kopernik rozważył trójkąty wpisane w okrąg o promieniu R formułując następujące twierdzenia:

Twierdzenie I.
“W trójkącie gdy wiadome są kąty, wiadome są także stosunki jego boków.”
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.57]

Twierdzenie II.
“Jeżeli w trójkącie jeden kąt i dwa boki są dane, trzeci bok i dwa inne katy będą wiadome.”
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.57]

Twierdzenie VII.
“Gdy wszystkie boki trójkąta są dane, wiadome będą i jego kąty.”
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.60]
Kopernikańskie twierdzenia cosinusów dla trójkątów sferycznych
Rozdział XIV
Twierdzenia III i XII

Rozważamy trzy punkty A, B, i C na sferze o promieniu R. Jeżeli połączymy je łukami (wzdłuż kół wielkich) to otrzymamy trójkąt sferyczny ABC.
Rozważamy trójkąty, które są prostokątne i mają boki krótsze niż półokrąg, jak na rysunku.

III Twierdzenie Kopernika:
W prostokątnym trójkącie sferycznym ABC na sferze o promieniu R (gdzie kąt C jest prosty) zachodzą następujące proporcje pomiędzy długościami boków:
AB / BC = R / BC
Czyli że stosunek przeciwprostokątnej do jednej z przyprostokątnych jest równy stosunkowi promienia do drugiej przyprostokątnej. Znaczy to, że jeżeli znamy dwa boki, to możemy znaleźć trzeci.
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.63-64]

Mierzymy w radianach długość boku (łuku) leżącego naprzeciwko danego kąta jako łuku na sferze (od środka sfery) i mamy:
AB = c BC = a AC = b
(tutaj a, b, c są miarami kątów AOB, BOC, AOC w radianach)
Jeżeli kąt C jest prosty, możemy zapisać twierdzenie Kopernika jako
cos c / cos b = cos a
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.63-64]

Twierdzenia Pitagorasa dla trójkątów sferycznych
Znaczy to, że jeżeli znamy dwa boki, to możemy znaleźć trzeci. To jest sferyczna wersja twierdzenia Pitagorasa, które możemy zapisać jako:
cos c = cos b cos a

XII Twierdzenie Kopernika:
cos c = cos a cos b + sin a
sin b
cos γ
Znaczy to, że jeżeli znamy dwa boki i przynajmniej jeden kąt, to możemy znaleźć trzeci, co jest sferyczną wersją twierdzenia cosinusów dla wszystkich trójkątów płaskich.
[Kopernik, Mikołaj (1473-1543), “Mikołaja Kopernika Toruńczyka O obrotach ciał niebieskich ksiąg sześć”, Kujawsko-Pomorska Biblioteka cyfrowa, UMK, 1854, Rozdział XIII, str.63-64]