W pewnym trójkącie prostokątnym przeciwprostokątna jest trzy razy dłuższa od jednej z przyprostokątnych. Wartość cosinusa mniejszego kąta ostrego tego trójkąta jest równa: