In this paper,five steps to establish the equality condition of double-degeneracy inequality are proposed.By using these five steps,some inequalities of symmetric type,rotational type and local symmetric type are established,and the automatic discovery of the inequalities is realized.The total degeneracy inequality and equality condition being right angle is discussed.
triangle geometric inequalityequality conditionautomatic discovery of inequalities