ostroslupy 123: Dany jest ostroslup prawidlowy trojkatny EFGP, ktorego podstawa jest trojkat EFG. Kat α nachylenia krawedzi bocznej EP do płaszczyny Epodstawy ostroslupa jest rowny katowi miedzi krawedziami bocznymi EP i FP zawartymi w scianie bocznej EPF tego ostroslupa. Oblicz sinusa kata α.