Encuentra enteros en la forma: $\frac{a}{b+c} + \frac{b}{c+a} + \frac{c}{a+b}$

Question

Dejemos que $a,b,c \in \mathbb N$ encontrar enteros en la forma: $$I=\frac{a}{b+c} + \frac{b}{c+a} + \frac{c} {a+b}$$

Usando la desigualdad de Nesbitt: $I \ge \frac 32$

Estoy tratando de probar $I \le 2$ a implica allí $\nexists \ a,b,c$ tal que $I\in \mathbb Z$ : $$I\le 2 \\ \iff c{a}^{2}+3\,acb+{a}^{3}+{a}^{2}b+a{b}^{2}+{b}^{3}+c{b}^{2}+{c}^{2}b+{c }^{3}+{c}^{2}a-2\, \left( b+c \right) \left( c+a \right) \left( a+b \right) \le 0 \\ \iff {a}^{3}+{b}^{3}+{c}^{3}\leq c{a}^{2}+{a}^{2}b+a{b}^{2}+c{b}^{2}+{c}^{2 }a+{c}^{2}b+abc $$ y atascado.

EDIT: Parece que se ha probado $I \le 2$ no es un buen pensamiento :P

Answer 1

Encuentro una solución para $n=4,$ cuando

a=2332797891204725453580403814216955612718693675609518139813675622446336 8530351921955206357565424226029748329737767516130520072674084336131550 2597616224970927979227396663481447506019173462295157784788781420305046 5201815993661680059006448575315523206103260762210944137954571975497854 9786027663601160534574317253280344812956727894696796553762212813889660 9065956718516224446015577143267128739011935697434909021669583635379832 35022557869209259

b=1161640217306132458900911441651415023972393417197892812143262449233898 8034221463466278254018560734492913221738943224762433374574861704275058 0062902808034990817009121975186967451351814311101112040391014295321972 8784138582766210837461563508481437266175417187186208008663435889653439 7066554486263784443013141020886435995672339322997499528376940620045001 1919735272479457688230567501843839892799164246003766614214017398378635 0444307965016411

c=5054729227475450427274369484803239479825091305751388135572448603576037 6549781961422098862259430557133842304461180359698183208339647924784255 6816542651386138853492649101592171641096957016404851774814750638840260 3496289958758089911825477669004739864966841494437579004665357462952425 4130327474390635537868978719887059697148297723373566417781389238382736 3204638301684342182024187145267526992579708085994452308601529371953916 7125415529515145

Puede que esta no sea la solución más pequeña para $n=4$ pero creo que el más pequeño también es muy grande.

Me gustaría contar algo sobre cómo obtengo esta respuesta.

Estimo que habrá una solución para $n=4,$ (También intenté $n=3$ pero fracasó).

Dejemos que $a,b,c$ sean números racionales, y $a+b+c=1,a,b,c>0,$ obtenemos $$\frac{a}{1-a}+\frac{b}{1-b}+\frac{1-a-b}{a+b}=4.\tag{eq.1}$$ denotan $\dfrac{a}{1-a}=s,\dfrac{b}{1-b}=t,$ entonces $a=\dfrac{s}{1+s},b=\dfrac{t}{1+t},$ $eq.1$ equivale a $$s+t+\dfrac{1-st}{s+t+2st}=4,\tag{eq.2}$$ denotan $s=x+y,t=x-y,$ entonces $$\frac{4 x^3+3 x^2-4 x y^2+y^2+1}{2 \left(x^2+x-y^2\right)}=4$$ $$y^2=\frac{4 x^3-5 x^2-8 x+1}{4 x-9}$$ denotan $x=\dfrac{9k+1}{4k},$ entonces $$y^2=\frac{(13 k+1) \left(4 k^2+9 k+1\right)}{16 k^2}$$ denotan $r=4ky,$ entonces $$r^2=(13 k+1) \left(4 k^2+9 k+1\right)=1 + 22 k + 121 k^2 + 52 k^3$$ denotan $X=52k,Y=52r,$ entonces $$Y^2 = X^3 + 121 X^2 + 1144 X + 2704.\tag{eq.3}$$ Así que sólo tenemos que encontrar una solución racional de $eq.3$ que hace que $a,b,c>0.$

Encuentro dos soluciones básicas de $eq.3,(X,Y)=(-104,260)(52,728),$ denotamos $p=(-104,260),q=(52,728),$

Al principio, me parece que $6q=O,$ cuando calcule $p,2p,3p,4p,\cdots$ me parece que $21p$ hace $-52<X<-33.8564,$ de hecho, $X\approx -36.8062,$ esto es lo que necesitamos, porque cuando $-52<X<-33.8564,a,b,c$ será todo positivo (necesita algún cálculo).

Finalmente, podemos obtener $a,b,c>0$ de $X,Y,$ y luego multiplicar por el LCM de los denominadores de $a,b,c,$ hemos terminado.

Puedes ver que sólo uso $p,$ pero no $q$ u otros puntos de $eq.3,$ así que tengo que añadir $21$ veces por $p$ lo que hace que los dígitos sean enormes.

Answer 2

He encontrado algunas soluciones $(a,b,c)$ de equatoin $$ \dfrac{a}{b+c}+\dfrac{b}{a+c}+\dfrac{c}{a+b}=n \qquad\qquad (a,b,c,n\in\mathbb{N})\tag{1} $$ para incluso $n$ .
Y tengo la duda de si hay soluciones más pequeñas.

---

$\color{#FF4400}{n=4:}$

$\small a=4373612677928697257861252602371390152816537558161613618621437993378423467772036$ ;

$\small b=36875131794129999827197811565225474825492979968971970996283137471637224634055579$ ;

$\small c=154476802108746166441951315019919837485664325669565431700026634898253202035277999$ .

Esta solución es mucho más pequeña, pero sigue siendo grande:
$\log_2 (a+b+c) \approx 266.723$ , $\log_{10} (a+b+c) \approx 80.2916$ .

Otras soluciones para $n=4$ :

a=16666476865438449865846131095313531540647604679654766832109616387367203990642764342248100534807579493874453954854925352739900051220936419971671875594417036870073291371;

b=184386514670723295219914666691038096275031765336404340516686430257803895506237580602582859039981257570380161221662398153794290821569045182385603418867509209632768359835;

c=32343421153825592353880655285224263330451946573450847101645239147091638517651250940206853612606768544181415355352136077327300271806129063833025389772729796460799697289;

$\log_2(a+b+c)\approx 555.985$ ; $\log_{10}(a+b+c) \approx 167.368$ .

a=1054210182683112310528012408530531909717229064191793536540847847817849001214642792626066010344383473173101972948978951703027097154519698536728956323881063669558925110120619283730835864056709609662983759100063333396875182094245046315497525532634764115913236450532733839386139526489824351;

b=1440354387400113353318275132419054375891245413681864837390427511212805748408072838847944629793120889446685643108530381465382074956451566809039119353657601240377236701038904980199109550001860607309184336719930229935342817546146083848277758428344831968440238907935894338978800768226766379;

c=9391500403903773267688655787670246245493629218171544262747638036518222364768797479813561509116827252710188014736501391120827705790025300419608858224262849244058466770043809014864245428958116544162335497194996709759345801074510016208346248254582570123358164225821298549533282498545808644;

$\log_2(a+b+c)\approx 950.321$ ; $\log_{10}(a+b+c)\approx 286.075$ .

---

$\color{#FF4400}{n=6:}$

a=1218343242702905855792264237868803223073090298310121297526752830558323845503910071851999217959704024280699759290559009162035102974023;

b=2250324022012683866886426461942494811141200084921223218461967377588564477616220767789632257358521952443049813799712386367623925971447;

c=20260869859883222379931520298326390700152988332214525711323500132179943287700005601210288797153868533207131302477269470450828233936557.

$\log_2 (a+b+c) \approx 443.063$ ; $\log_{10} (a+b+c) \approx 133.375$ .

---

$\color{#FF4400}{n=10:}$

a=221855981602380704196804518854316541759883857932028285581812549404634844243737502744011549757448453135493556098964216532950604590733853450272184987603430882682754171300742698179931849310347;

b=269103113846520710198086599018316928810831097261381335767926880507079911347095440987749703663156874995907158014866846058485318408629957749519665987782327830143454337518378955846463785600977;

c=4862378745380642626737318101484977637219057323564658907686653339599714454790559130946320953938197181210525554039710122136086190642013402927952831079021210585653078786813279351784906397934209.

$\log_2(a+b+c) \approx 630.265$ ; $\log_{10}(a+b+c) \approx 189.729$ .

---

En lugar de $a,b,c \in \mathbb{N}$ podemos considerar números racionales positivos $p,q,r$ : $$ p = \dfrac{a}{a+b+c}, \qquad q = \dfrac{b}{a+b+c}, \qquad r = \dfrac{c}{a+b+c} = 1-p-q. $$

Entonces, buscaremos soluciones racionales de la ecuación $$ \dfrac{p}{1-p}+\dfrac{q}{1-q}+\dfrac{1-p-q}{2p} = n, \qquad (n\in \mathbb{N}), \tag{2} $$ como (eq.1) en Hecke de la respuesta.

Denote $p=m-d$ , $\quad$ $q=m+d$ . $\quad$ $\quad$ $(2) \rightarrow (3)$ : $$ \dfrac{m-d}{(1-m)-d} + \dfrac{m+d}{(1-m)+d} + \dfrac{1-2m}{2m} = n, \tag{3} $$ entonces $(3) \rightarrow (4)$ :

$$ \Bigl((2n+6)m-1\Bigr)d^2 = (2n+6)m^3 - (4n+9)m^2+(2n+4)m-1. \tag{4} $$

Denote $m = \dfrac{x-1}{(2n+6)x}$ , $d = \dfrac{y}{(2n+6)x}$ . Entonces obtenemos la ecuación: $$ y^2 = 1 + (4n+6)x + (2n+3)^2x^2 + (8n+20)x^3, \qquad n \in \mathbb{N}; \tag{5} $$ $$ y^2 = \Bigl( 1 + (2n+5)x \Bigr) \Bigl(1 + (2n+1)x + 4x^2 \Bigr), \qquad n \in \mathbb{N}. $$

Tenemos que encontrar soluciones racionales $(x,y)$ de la ecuación $(5)$ que dan $ |d| <m<0.5$ .

Si $n=4$ entonces consideramos puntos racionales en la curva elíptica $y^2=1 + 22 x + 121 x^2 + 52 x^3$ .
Puntos racionales de partida en esta CE:
puntos, donde $x$ es $-2, 0, 1, \dfrac{-1}{4}, \dfrac{-5}{9}, \dfrac{-15}{13}, \dfrac{-2}{13}, \dfrac{-1}{13}, \dfrac{-3}{25}, \dfrac{168}{25}, \dfrac{611}{121}, \ldots$ .
Tenemos que encontrar/construir uno con $x \in (-2.13278;-2.08649) \bigcup (-0.22120;-0.16667)$ .

Si $n=6$ entonces consideramos puntos racionales en la curva elíptica $y^2=1 + 30 x + 225 x^2 + 68 x^3$ ,
donde $x \in (-3.17116;-3.14447) \bigcup (-0.14965;-0.125)$ .

Si encontramos lo apropiado $(x,y)$ entonces $$ p = \dfrac{x-y-1}{(2n+6)x}, \qquad q = \dfrac{x+y-1}{(2n+6)x}, \qquad r = \dfrac{(2n+4)x+2}{(2n+6)x}. $$

---

Parece que si $n$ es impar, entonces sólo hay 5 puntos racionales en la CE correspondiente, y no hay solución entera $(a,b,c)$ de la ecuación $(1)$ .

En la mayoría de los casos, incluso $n$ $(n=2,4,6,10,12,14,...)$ hay muchos puntos racionales en la CE correspondiente.

Answer 3

Esta no es una solución completa, sólo un "caso" de un problema.

Cuando $\gcd(a+b,a+c,b+c)=1 \implies \text { } a,b,c \text { are not all odd or not all even}$

Su expresión es

$\dfrac{a(c+a)(a+b)+b(b+c)(a+b)+c(a+c)(b+c)}{(a+b)(b+c)(c+a)}$

Denota $a+b=k, b+c=l$ y $c+a=m$

$$klm |akm+blk+cml \implies a=p_1l, b=p_2m, c=p_3k$$

$a=p_1l, b=p_2m,$ y $ c=p_3k$ no es posible. Por lo tanto, no tenemos solución si consideramos $\gcd(a+b,a+c,b+c)=1$ .