Equações de verificação de dimensionamento