P P and that one triangle

Geometry Level 5

Let P P be a point in or on a scalene triangle A B C ABC with integer side lengths, and let f ( P ) = P A + P B + P C f(P) = PA + PB + PC . For each triangle A B C ABC , let g A B C = max P f ( P ) g_{ABC} = \max_P f(P) and h A B C = min P f ( P ) h_{ABC} = \min_P f(P) .

Consider all triangles where g A B C g_{ABC} and h A B C h_{ABC} are both integers. Over this set, what is the minimum value of g A B C h A B C g_{ABC} - h_{ABC} ?


The answer is 4.

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.

1 solution

Efren Medallo
Apr 24, 2017

Note that f ( P ) f(P) is at its minimum when P P coincides with the Fermat point of the triangle.

Now, for f ( P ) f(P) to be an integer, we can set it such that P P lies along the sides of the triangle A B C ABC itself. This will only be possible when one of the interior angles is 12 0 \geq 120^{\circ} , with P P on its vertex. Now, the smallest integer triangle to have that is the 3 5 7 3-5-7 triangle.

The maximum value of f ( P ) f(P) can also be established in a similar way; since the distance cannot be maximized when P P is inside the triangle, it has to be located on the triangle. Using the same triangle, it can be discovered that f ( P ) f(P) is maximum when P P is on the vertex opposite the smallest side.

So, for the 3 5 7 3-5-7 triangle, being the smallest integer triangle to have a 12 0 120^{\circ} angle, f ( P ) f(P) is minimum when P P is at the vertex opposite the longest side. In this case, f ( P ) = 3 + 5 = 8 f(P) = 3 + 5 = 8 .

On the other hand, f ( P ) f(P) is maximum when P P is at the vertex opposite the shortest side, making f ( P ) = 5 + 7 = 12 f(P) = 5 + 7 = 12 .

And that gives us the max ( f ( P ) ) min ( f ( P ) ) = 12 8 = 4 \max (f(P)) - \min (f(P)) = 12 - 8 = \boxed {4} .

Do you want "minimum value of g that is an integer", or do you want "minimum value of g when both max f and min f are integers"?

The question and the assumptions are different from each other.

Calvin Lin Staff - 4 years, 1 month ago

Log in to reply

As was stated in my further details, it asks of the latter. I was also doubtful that my phrasing was correct, so I will edit it accordingly.

Efren Medallo - 4 years, 1 month ago

Log in to reply

K. I've edited the problem.

Looking at your solution, I find it really hard to understand what you're doing, and it seems like there are several assumptions / mistakes that you make

  1. Why must "for f ( P ) f(P) to be an integer, we can set it such that it lies along the side of the triangle
  2. Why must the minimum of g g occur for the 3-5-7 triangle? It seems like you're committing the mistake of trying to optimize one term, and then using that to condition the other. IE to find min g = f h g = f - h , we cannot simply minimize f f and calculate the corresponding value of h h .
  3. I think that the 2-3-4 triangle has a max of 7, and a min of 4 or 5, which gives a g g value of 2 or 3. (Haven't done the calculations yet).

Calvin Lin Staff - 4 years, 1 month ago

Log in to reply

@Calvin Lin

  1. If P P is in the triangle, f ( P ) f(P) will be irrational.
  2. The minimum of g g will occur at the smallest integer triangle bearing 12 0 120^{\circ} , because for any obtuse triangle having an angle greater than or equal to 12 0 120^{\circ} , P P will lie on the vertex opposite the longest side. We can test this for other obtuse integer triangles with the largest angle exceeding 12 0 120^{\circ} , and see what happens with g g .
  3. The 2-3-4 is an acute triangle. Thus f ( P ) f(P) in this case is not an integer.

Efren Medallo - 4 years, 1 month ago

Log in to reply

@Efren Medallo

  1. If P P is in the triangle, f ( P ) f(P) will be irrational -> Are you sure? Note that f ( P ) f(P) is a continuous function, so its image would be an interval, as opposed to "just irrational values".
  2. That makes no sense, esp since 1 is not true.
  3. The 2-3-4 triangle is obtuse. In particular, 2 2 + 3 2 < 4 2 2^2 + 3 ^2 < 4 ^ 2 . (However, it is true that the obtuse angle is not larger than 120, so the minimium of f(P) occurs in the interior)
Reading this again, you seem to want "The minimium of f(P) is an integer", as opposed to "The minimium integer value of f(P)". do you see the difference?

Calvin Lin Staff - 4 years, 1 month ago

Log in to reply

@Calvin Lin Reading through your assumption again, that seems to be the case. I have edited that into the problem.

I can now believe that your answer is correct, but your solution still does not feel rigorous to me. I feel that a big assumption is " h A B C h_{ABC} is integer if and only if A B C ABC has an angle 12 0 \geq 120 ^ \circ ". I agree with the if part, but the only if part isn't immediately obvious to me.

Calvin Lin Staff - 4 years, 1 month ago

Log in to reply

@Calvin Lin Thank you for the insights! I really had trouble phrasing the problem, and I was happy that somehow, what I was trying to say (albeit incorrect, perhaps due to my poor command of the language and/or the concept) got through you. I just got the inspiration for my next problem!

Efren Medallo - 4 years, 1 month ago

@Calvin Lin

  1. Uhm, yes. I may have assumed that. I have found the smallest case for a triangle to have P P inside of it and g g is an integrr. That is a triangle whose sides are 455 455 , 399 399 , and 511 511 . This will give g = 966 784 = 182 g= 966 - 784 =182 . Alternatively, if we allow one of the angles to be greater than 12 0 deg 120^{\deg} , we can alllow P P to be along the vertices of the triangle whix h will ascertain the rationality of g g .
    1. Forgive me, it is indeed obtuse. But the obtuse angle is less than 12 0 120^{\circ}

Efren Medallo - 4 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...