Relating side lengths in a triangle