Pappus of Alexandria
これをパップスの中線定理という。この式を変形すると、