红框框的定理怎么证明呀?

红框框的定理怎么证明呀?
红框框的定理怎么证明呀?
 

红框框的定理怎么证明呀?
这个可以推导出来的,假设圆心坐标为（P,Q）,半径为R,那么圆公式为(x-P)^2+(y-Q)^2 = R^2,展开后可以得到P,Q,R和D,E,F的关系,(x0,y0)在圆上,那么过(x0,y0)的切线应该垂直于(x0,y0)到圆心的连线,所以切线斜率与(x0,y0)到圆心的连线斜率为负倒数,及乘积为-1,所以斜率为-(x0-P)/(y0-Q),过定点且斜率已知可以求得直线公式,整理后用D,E,F替换掉P,Q,R就得到了所要的公式