前の方法も正6角形なんか作ってないでもっと楽にできた。
与線分に適当に引いた垂線で作った正3角形使えば良かった。
この適当に作った正3角形を、元になった垂線を
与線分と垂直を保ったまま、正3角形が完成した時点で
与線分上(又は与線分の延長線上)に重なっている頂点が
与線分の片端を内接する様に移動させてその後は
内接頂点を固定したまま垂線上に与線分のもう片端が重なるまで
拡大すれば、正3角形の各辺の半分の長さが与線分の1/√3にできた。
もう一度同じ手順で(1/√3)^2=1/3
まあ、
>>365でのやり方の方が楽だな