不断减去奇数来求得答案。
尺规作图.
问题.给定线段"AB"和1，求一条长为formula_111的线段。
证明.将整个过程搬到直角座标上，已知"AC"=1，设另也可参见射影定理。