已知：I，O分别是三角形ABC的内心和外心，且AI垂直OI。求证：AB+AC=2BC。