>>318
A(0,1)としてAからlに下ろした垂線とlとの交点QとするとQは原点中心半径1の円周上にあるんじゃないか