In this paper, we study certain inequalities and a related result for weighted Sobolev spaces on Hölder-$\alpha$ domains, where the weights are powers of the distance to the boundary. We obtain results regarding the divergence equation's solvability, and the improved Poincaré, the fractional Poincaré, and the Korn inequalities. The proofs are based on a local-to-global argument that involves a kind of atomic decomposition of functions and the validity of a weighted discrete Hardy-type inequality on trees. The novelty of our approach lies in the use of this weighted discrete Hardy inequality and a sufficient condition that allows us to study the weights of our interest. As a consequence, the assumptions on the weight exponents that appear in our results are weaker than those in the literature.