三角形 ADCADCADC 在 DDD 处为直角,两条直角边 AD=1AD=1AD=1、DC=tan2xDC=\tan2xDC=tan2x 分别沿两坐标轴,斜边 AC=sec2xAC=\sec2xAC=sec2x。对于直角顶点在原点且两直角边沿坐标轴的直角三角形,内心到每条直角边的距离为 ρ=12(leg1+leg2−hypotenuse)\rho=\tfrac12(\text{leg}_1+\text{leg}_2-\text{hypotenuse})ρ=21(leg1+leg2−hypotenuse),即位于 (ρ,ρ)(\rho,\rho)(ρ,ρ)。这里 ρ=12(1+tan2x−sec2x)\rho=\tfrac12\left(1+\tan2x-\sec2x\right)ρ=21(1+tan2x−sec2x),故 K=(ρ,ρ)K=(\rho,\rho)K=(ρ,ρ)。