Calvin was giving a class on triangles, and he was planning to demonstrate on the blackboard that the three medians, the three angle bisectors, and the three altitudes of a triangle each meet at a point (the centroid, incentre, and orthocentre of the triangle, respectively).
Unfortunately, he got a little careless in his example, and drew a certain triangle with the median from vertex , the altitude from vertex , and the angle bisector from vertex . Amazingly, just as he discovered his mistake, he saw that the three segments met at a point anyway!
Luckily it was the end of the period, so no one had a chance to comment on his mistake. In recalling his good fortune later that day, he could only remember that the side across from vertex was inches in length, that the other two sides also measured an integral number of inches, and that none of the lengths were the same. Can you help Calvin in finding the sum of the other two lengths?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
By Ceva's Theorem the segments A P , B Q , C R meet at a point if and only if:
R B A R ⋅ P C B P ⋅ Q A C Q = 1
Since A P is a median, B P = P C and we get R B A R ⋅ Q A C Q = 1 .
Now let the unknown lengths B C , C A be a , b , respectively. Since C R is the angle bisector from C , we have R B A R = C B A C = a b , and thus a b ⋅ Q A C Q = 1 .
On the other hand, C Q + Q A = b and combining the last two equations soon leads to C Q = a + b a b , Q A = a + b b 2 . Now we use that B Q is an altitude, so that by Pythagoras'Theorem, B C 2 − C Q 2 = A B 2 − Q A 2 which leads to:
( a − 1 3 ) ( a + 1 3 ) ( a + b ) = b 2 ( a − b )
Now, we need to find a solution to this equation in positive integers a , b so that there exists a triangle with sides 1 3 , a , b , and 1 3 , a , b are all distinct. Note that any prime factor, p , of a + b must be a factor of b 2 ( a − b ) and hence such a prime must divide either b or a − b . This suggests that a and b might have common factors. On the other hand, if p is a common factor of a and b , then p 3 divides b 2 ( a − b ) = ( a − 1 3 ) ( a + 1 3 ) ( a + b ) and unless p = 1 3 (which is easily seen to be impossible) p cannot divide a − 1 3 or a + 1 3 , so that p 3 divides a + b .
This suggests that the common factors of a and b cannot be too large!
Specifically, if we try p = 3 , we need 2 7 to divide a + b . Let us try a + b = 2 7 , a = 3 x , b = 2 7 − 3 x . Substituting this into our equation yields:
( 3 x − 1 3 ) ( 3 x + 1 3 ) = ( 9 − x ) 2 ( 2 x − 9 )
which is correct for x = 4 . Thus, a = 1 2 , b = 1 5 is a solution and its unique.
Therefore a + b = 1 2 + 1 5 = 2 7 .