Ratio of sides in a right-angled triangle