Let O be the centre of the circle and r be its radius. Draw OE⊥AB, OF⊥BD and OG⊥DC. Then ∣AE∣=rcos∠BAO. Noting that ∠BAO=∠CAO and E is the midpoint of AB, it follows that
∣AB∣+∣AC∣=4rcos∠BAO.
Using ∣DF∣=rcos∠BDO and ∣DG∣=rcos∠CDO, we get
∣DB∣+∣DC∣=2rcos∠BDO+2rcos∠CDO=2r(cos∠BDO+cos∠CDO)=4rcos(2∠BDO+∠CDO)cos(2∠BDO−∠CDO)
Because 4rcos(2∠BDC)=4rcos(2∠BAC)=4rcos∠BAO=∣AB∣+∣AC∣, we obtain
∣DB∣+∣DC∣=(∣AB∣+∣AC∣)cos(2∠BDO−∠CDO)
Since ∠BDC<180∘, ∠BDO<90∘ and ∠CDO<90∘ then
−90∘<2∠BDO−∠CDO<90∘⇒0<cos(2∠BDO−∠CDO)<1
with equality on the right iff ∠BDO=∠CDO. Because ∠BDO=∠CDO is equivalent to A=D, we obtain ∣DB∣+∣DC∣≤∣AB∣+∣AC∣ with equality iff A=D, as required.
This result immediately gives that the perimeter of △ABC is greater than the perimeter of △DBC, i.e. of all triangles on BC as base inscribed in the circle, the isosceles triangle has the greatest perimeter.
Now suppose the triangle with the greatest perimeter inscribed in a circle is not equilateral. Let △XYZ be the triangle with the greatest perimeter and assume, without loss of generality ∣XZ∣=∣YZ∣. From the inequality shown above with B=X,C=Y it follows that △XYZ cannot have the greatest perimeter among all triangles inscribed in the circumcircle of △XYZ. This contradiction shows that the triangle with the greatest perimeter that can be inscribed in a circle is the equilateral triangle.