性质不行，因为性质是建立在已经平行垂直的条件上的。对于定义，这是可以的，不过直接用定义证明一般是不现实的，题目都是经过命题者设计的，一般都是根据判定定理来证明的
定义可以用，但是有时候会很麻烦。性质定理是不能用来证明，只能用判定定理
