Investigating ratios of sides from a 
23° angle in a right-angled triangle 

A = (-0.46872383345876634, 2.507398054195467)
B = (10.650799711656166, 2.4876825869168946)
Adjacent = Segment(A, B)
b = OrthogonalLine(A, Adjacent)
A' = Rotate(A, 337.0°, B)
α = Angle(A', B, A)
c = Ray(B, A')
C = Intersect(b, c)
Opposite = Segment(A, C)
Hypotenuse = Segment(C, B)
β = Angle(B, A, C)