ODP:
Wprowadź oznaczenia pomocnicze.
Korzystając z twierdzenia Pitagorasa oblicz długość boku BF w trójkącie prostokątnym BCF.
W podobny sposób, oblicz długość boku AF w trójkącie prostokątnym ACF.
Zauważ, że
, więc trójkąt ABF jest równoramienny.
Ponieważ graniastosłup jest prawidłowy, to w jego podstawie znajduję się trójkąt równoboczny. Na tej podstawie możesz obliczyć długość jego wysokości CG.
Zauważ, że trójkąt CFG jest prostokątny. Skorzystaj z twierdzenia Pitagorasa i obliczy długość boku GF.
Pole trójkąta ABF możesz obliczyć na dwa sposoby: normalny wzór na pole trójkąta oraz wzór na pole trójkąta z sinusami.
Powyższe pola są równe, porównaj więc te wartości.
Z powstałego równania oblicz wartość sinusa kąta AFB.