A Cardano triplet is a triple of positive integers satisfyingwith real cube roots. Put and . Cubing gives , and cubing that product yields the necessary integer identityIt is also sufficient. From this identity, the real cube root of gives . Therefore satisfiesSince , the quadratic polynomial has negative discriminant and no real roots. Hence . This checks that cubing introduced no extraneous real solutions.
New to topics? Read the docs here!