Công thức tính đường trung trực trong tam giác vuông cân