One Large Triangle

Geometry Level 3

If C = 120 ° \angle C = 120° and sides a a , b b , and c c are integers such that a < b < c a < b < c , gcd ( a , b , c ) = 1 \gcd(a, b, c) = 1 , and a b 2 c a + 2 b 2 c = 1500 \sqrt{\cfrac{a - b - 2c}{a + 2b - 2c}} = 1500 , then find the perimeter of A B C \triangle ABC .


The answer is 4504501.

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.

2 solutions

Chris Lewis
Jun 9, 2021

Just like Euclid's formula for Pythagorean triples, there is a formula to generate integer triangles with an angle of 12 0 120^\circ ; if n < m n<m are integers, then the triangles with sides 2 m n + n 2 , m 2 n 2 , m 2 + m n + n 2 2mn+n^2,\;\;\; m^2-n^2,\;\;\; m^2+mn+n^2 has an angle of 12 0 120^\circ opposite the longest side. To ensure the sides are coprime, we need gcd ( m , n ) = 1 \gcd(m,n)=1 and also m n m-n cannot be a multiple of 3 3 .

There are two ways to assign the shorter sides, so two cases to check. For neatness, write k = 1500 k=1500 :


Case a = 2 m n + n 2 a=2mn+n^2 , b = m 2 n 2 b=m^2-n^2 , c = m 2 + m n + n 2 c=m^2+mn+n^2 :

a b 2 c a + 2 b 2 c = 2 m n + n 2 m 2 + n 2 2 m 2 2 m n 2 n 2 2 m n + n 2 + 2 m 2 2 n 2 2 m 2 2 m n 2 n 2 = 3 m 2 3 n 2 = m 2 n 2 \begin{aligned} \frac{a-b-2c}{a+2b-2c} &= \frac{2mn+n^2-m^2+n^2-2m^2-2mn-2n^2}{2mn+n^2+2m^2-2n^2-2m^2-2mn-2n^2} \\ &=\frac{-3m^2}{-3n^2} \\ &=\frac{m^2}{n^2} \end{aligned}

so that m = k n m=kn . The only coprime pair satisfying this is ( m , n ) = ( 1 , k ) (m,n)=(1,k) giving sides a = 2 k + 1 a=2k+1 , b = k 2 1 b=k^2-1 , c = k 2 + k + 1 c=k^2+k+1 and perimeter P = 2 k 2 + 3 k + 1 = ( k + 1 ) ( 2 k + 1 ) P=2k^2+3k+1=(k+1)(2k+1) . In this case, the perimeter is P = 1501 × 3001 = 4504501 P=1501\times 3001=\boxed{4504501} .


Case a = m 2 n 2 a=m^2-n^2 , b = 2 m n + n 2 b=2mn+n^2 , c = m 2 + m n + n 2 c=m^2+mn+n^2 :

Switching the values of a a and b b , a b 2 c a + 2 b 2 c = m 2 n 2 2 m n n 2 2 m 2 2 m n 2 n 2 m 2 n 2 + 4 m n + 2 n 2 2 m 2 2 m n 2 n 2 = m 2 4 m n 4 n 2 m 2 + 2 m n n 2 = ( m + 2 n ) 2 ( m n ) 2 \begin{aligned} \frac{a-b-2c}{a+2b-2c} &= \frac{m^2-n^2-2mn-n^2-2m^2-2mn-2n^2}{m^2-n^2+4mn+2n^2-2m^2-2mn-2n^2} \\ &=\frac{-m^2-4mn-4n^2}{-m^2+2mn-n^2} \\ &=\frac{(m+2n)^2}{(m-n)^2} \end{aligned}

so now we need m + 2 n = k ( m n ) m+2n=k(m-n) . Rearranging, this leads to ( k 1 ) m = ( k + 2 ) n (k-1)m=(k+2)n

In this case, gcd ( k 1 , k + 2 ) = 1 \gcd(k-1,k+2)=1 so the only coprime pair that works is ( m , n ) = ( 1502 , 1499 (m,n)=(1502,1499 . But these don't satisfy the condition that m n m-n isn't a multiple of 3 3 , so the sides a , b , c a,b,c in this case are not coprime. In fact, this triangle is just a scaled version of the one found in the first case.

So the unique answer is P = 4504501 P=\boxed{4504501} .

I bet there's a better way to do this - the form of that square root is pretty unusual!

Chris Lewis - 3 days, 8 hours ago

Log in to reply

There might be, but I did it pretty much the same way that you did!

David Vreken - 3 days, 2 hours ago

Can you prove that the following setup too?

If 0 < a < b < c 0<a< b< c are coprime integers such that a 2 + b 2 + a b = c 2 a^2 + b^2 + ab = c^2 and a b 2 c a + 2 b 2 c = 1500 , \sqrt{\cfrac{a - b - 2c}{a + 2b - 2c}} = 1500, then a + b + c = 3001 + 22499999 + 2251501 = 4504501. a + b + c = 3001 + 22499999 + 2251501 = 4504501 .

That is, this time, we do not know that a , b , c a,b,c are side lengths of a triangle.


Update: Wait, this is silly. a 2 + b 2 + a b = c 2 a^2 + b^2 + ab = c^2 implies that we can form a triangle with C = 12 0 . \angle C = 120^\circ . I'm sorry for wasting your time.

Pi Han Goh - 3 days ago

Log in to reply

Ha, not at all - you'd already edited by the time I saw this. But it's interesting to think what the condition a b 2 c a + 2 b 2 c = k \sqrt{\frac{a-b-2c}{a+2b-2c}}=k actually means. I've tried fixing points A A and B B and looking at the locus of valid points C C , but I don't recognise the shape of it:

A pointy egg? Not very mathematical...(actually, it looks a bit like half a lemniscate to me, but I don't know why that would be)

Chris Lewis - 2 days, 13 hours ago

Log in to reply

Beautiful interpretation of the expression.

Michael Huang - 2 days, 7 hours ago
Chew-Seong Cheong
Jun 11, 2021

Since the diameter of the circumcircle of A B C \triangle ABC , D = a sin A = b sin B = c sin C D=\dfrac a{\sin A} = \dfrac b{\sin B} = \dfrac c{\sin C} , then

a b 2 c a + 2 b 2 c = 1500 sin A sin B 2 sin C sin A + 2 sin B 2 sin C = 1500 sin A sin ( 6 0 A ) 2 sin 12 0 sin A + 2 sin ( 6 0 A ) 2 sin 12 0 = 1500 3 sin A cos A 2 2 cos A 2 = 1500 Let t = tan A 2 3 2 3 t + t 2 6 t 2 = 1500 3 t 2 t = 1500 Since A < 6 0 t = 3 3001 \begin{aligned} \sqrt{\frac {a-b-2c}{a+2b-2c}} & = 1500 \\ \sqrt{\frac {\sin A - \sin B - 2\sin C}{\sin A + 2\sin B-2\sin C}} & = 1500 \\ \sqrt{\frac {\sin A - \sin (60^\circ - A) - 2\sin 120^\circ}{\sin A + 2\sin (60^\circ - A) -2\sin 120^\circ}} & = 1500 \\ \sqrt{\frac {\sqrt 3 \sin A - \cos A - 2}{2\cos A - 2}} & = 1500 & \small \blue{\text{Let }t = \tan \frac A2} \\ \sqrt{\frac {3 - 2\sqrt 3 t + t^2}{6t^2}} & = 1500 \\ \frac {\sqrt 3-t}{2t} & = 1500 & \small \blue{\text{Since }A < 60^\circ} \\ \implies t & = \frac {\sqrt 3}{3001} \end{aligned}

Then we have:

a : b : c = sin A : sin ( 6 0 A ) : sin 12 0 = 2 t 1 + t 2 : 3 ( 1 t 2 ) 2 t 2 ( 1 + t 2 ) : 3 2 = 4 t : 3 ( 1 t 2 ) 2 t : 3 ( 1 + t 2 ) = 4 3001 : 1 3 300 1 2 2 3001 : 1 + 3 300 1 2 = 12004 : 8999996 : 9006004 = 3001 : 2249999 : 2251501 \begin{aligned} a:b:c & = \sin A : \sin (60^\circ - A) : \sin 120^\circ \\ & = \frac {2t}{1+t^2} : \frac {\sqrt 3(1-t^2)-2t}{2(1+t^2)}: \frac {\sqrt 3}2 \\ & = 4t : \sqrt 3(1-t^2)-2t : \sqrt 3 (1+t^2) \\ & = \frac 4{3001} : 1 - \frac 3{3001^2} - \frac 2{3001} : 1 + \frac 3{3001^2} \\ & = 12004 : 8999996 : 9006004 \\ & = 3001 : 2249999 : 2251501 \end{aligned}

Therefore a + b + c = 3001 + 2249999 + 2251501 = 4504501 a+b+c = 3001 + 2249999 + 2251501 = \boxed{4504501} .

Nice creative solution!

David Vreken - 1 day, 8 hours ago

Log in to reply

Thanks. My usual approach to such problems.

Chew-Seong Cheong - 1 day, 7 hours ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...