zad 8.15/131, Kłaczkow

Zrobiłem to zadanie takim sposobem. Oczywiście a^2+b^2=c^2 to twierdzenie pitagorasa, ale czy te dwa pozostałe muszę napisać jak się nazywają(nie mam pojęcia jak, ale wiem, że coś takiego zachodzi w trójkątach), czy są tak proste, że wystarczy, że je wypisałem i z nich skorzystałem