The article deals with the problem of determining the number of antiaircraft missile systems of various types in grouping of Air Defense troops for the purpose of providing the required effectiveness of repelling the enemy air strikes on the objects and troops. The methodology of justification of ratio of different types of antiaircraft missile systems in the grouping of Air Defense troops using Lagrange’s method of undetermined multipliers has been developed. This technique allows justifying a set of types of antiaircraft missile systems which will provide maximum effectiveness of the employment of grouping of Air Defense troops. This approach can also be used to justify the composition of mixed military formations of Air Defense.