円の外部の任意の点からその円へ引いた二本の接線分の長さは常に等しい。
Γ\GammaΓ が AB,BC,CD,DAAB,BC,CD,DAAB,BC,CD,DA に接する点をそれぞれ P,Q,R,SP,Q,R,SP,Q,R,S とする。四角形に内接する円の接線の長さが等しいという標準的な性質から AP=ASAP=ASAP=AS、BP=BQBP=BQBP=BQ、CQ=CRCQ=CRCQ=CR、DR=DSDR=DSDR=DS が得られる。