補題で>>702の1をp、√3をqとしたときに
面積図だけの三平方の定理の証明と同じようにq^2＝3✕p^2を示しておけばよい
「平方根、三平方、三角関数」は一切出て来ずに求まる