Circle k with radius r touches the line p in point A. Let AB be a dimeter of circle and C an arbitrary point of circle distinct from points A and B. Let D be a foot of perpendicular from point C to line AB. Let E be a point on extension of line CD, over point D, such that ED=BC. Let tangents on circle from point E intersect line p in points K and N. Prove that length of KN does not depend from C circletangentgeometryperpendicular