BACKGROUND: Currently, in the design of vehicle drive axles, bevel final drives are used, forming both statically determinate structures and statically indeterminate ones. In the first case, the bearings on which the bevel final drive shafts rest form two races of rolling elements, in the second case - three or more. Despite the prevalence of bevel final drive designs that form statically indeterminate structures, in the process of teaching the design and calculation of machine elements, statically determinate structures are considered. The relevance of the work lies in the formalization of the analytical calculation of the reactions of the supports of the bevel final drive, forming a statically indeterminate system, with the derivation of formulas for determining the reactions in the extra support. AIMS: The article aim is the formalization the methodology for calculating the support reactions of the drive axle bevel final drive, forming a statically indeterminate system, for calculating bearings. METHODS: The article uses mathematical dependencies of Analytical Mechanics to calculate reactions in the main supports, a corollary of Castigliano theorem and the Force method to calculate reactions in extra supports. "Mathcad" was used for mathematical calculations. RESULTS: A formalized method for the analytical calculation of support reactions in statically indeterminate systems has been developed and presented, using Castigliano theorem to solve static indetermination. The methodology application for calculating the support reactions of the statically indeterminate the Kirovets K-7 series tractors drive axle bevel final drive is considered. CONCLUSIONS: The dependencies obtained during the calculations make it possible to calculate the bevel final drive support reactions, the design of which forms a statically indeterminate system. The bevel final drive mathematical model obtained during the calculations can be used as a basis for developing software that automates this calculation.