MathLabs

Problem 6

Let a>b>c>d>0 a>b>c>d>0 be integers satisfying ac+bd=(b+d+a−c)(b+d−a+c) ac+bd=(b+d+a-c)(b+d-a+c). Prove that ab+cd ab+cd is not prime.
Step 3 of 6: Apply Ptolemy
WY2=(ab+cd)(ad+bc)ac+bd.WY^2=\frac{(ab+cd)(ad+bc)}{ac+bd}.
Detailed analysis

Ptolemy and the cosine-rule diagonal formulas give this identity.