ABC Conjecture

Source Notebook

ABC triples by quality

Originator: Bart de Smit

(234 elements)

Examples

Basic Examples

Factorize a triple:

In[1]:=
res = ResourceFunction["InactiveFactorInteger"][#] & /@ {531843, 49470876424339456, 49470876424871299}
Out[1]=

Check that the ABC conjecture holds for a particular abc triple:

Out[4]=
In[5]:=
ResourceData["ABC Conjecture"][13]
Out[5]=
In[6]:=
rad[n_] := Times @@ (First /@ FactorInteger[n]);
q[a_, b_, c_] := Log[c]/Log[rad[a b (a + b)]];
In[7]:=
Module[{n = 13}, With[{a = ResourceData["ABC Conjecture"][13][[1]], b = ResourceData["ABC Conjecture"][13][[2]]}, Framed[Text[
    Style[Column[{Row[{"abc triple: ", a, "+", b, "\[Equal]", Row[(Row[
              Apply[Superscript, FactorInteger[#1], {1}] /. Superscript[i_,1] -> i, "\[CenterDot]"] &) /@ {a, b}, "+"], "\[Equal]", a + b, "\[Equal]", Row[Apply[Superscript, FactorInteger[a + b], {1}] /. Superscript[i_,1] -> i, "\[CenterDot]"]}], Row[{"rad[a b c]", " \[Equal] ", "rad"[(a b) (a + b)], " \[Equal] ", "rad"[Row[
           Apply[Superscript, FactorInteger[(a b) (a + b)], {1}] /. Superscript[i_,1] -> i, "\[CenterDot]"]], " \[Equal] ", rad[(a b) (a + b)], If[rad[(a b) (a + b)] < a + b, " <", " >"], " c"}], Row[{"rad[a b c]/c", " \[Equal] ", rad[(a b) (a + b)]/(a + b), " == ", N[rad[(a b) (a + b)]]/(a + b), If[N[rad[(a b) (a + b)]]/(a + b) > 1, " > ", " < "], 1}], Row[{"q"[a, b, a + b], " \[Equal] ", N[q[a, b, a + b]], If[q[a, b, a + b] < 1, " <", " >"], 1}]}, Spacings -> 2], 16]]]]]
Out[7]=

Enrique Zeleny, "ABC Conjecture" from the Wolfram Data Repository (2021)  

Data Resource History

Source Metadata

Publisher Information