辺の長さが1,1,formula_3の直角二等辺三角形を用いて一辺の長さが2となる正三角形を作図できる。