設三角形ABC內接于O點，H為三角形ABC的垂心，D為AH上一點，使得角BDC=90°，線段BC中垂線交AB,AC于E,F，P為三角形AEF外心，K為OP上一點，使得OK/KP=HD/DA，過B,C分別作點O的切線相交于T，證明TK=TB+AK