高中数学中的定理和性质都可以用于证明。

定理是经过严格证明的数学命题，可以作为推理的基础，用来证明其他命题。而性质则是数学对象的固有特征，可以通过推理和逻辑推导来证明。定理和性质的运用可以帮助我们建立数学推理的框架，从而解决问题和推导出新的结论。因此，在数学证明中，既可以使用定理，也可以使用性质来进行推理和证明。