Ved at anvende sinusrelationen på den lyserøde trekant ABC får vi
  hvoraf fås at længden af den lysegrønne side AC er bestemt ved. Fortsæt her: