| http://www.w3.org/ns/prov#value | - But since PS is also the time of descent, from rest at B, along BC, and if we choose T such that BC:CD=PS:PT then PT will measure the time of descent from A to C, for we have already shown [Lemma] that DC is a mean proportional between AC and CB. Finally choose the point G such that CA:AV=PT:PG, then PG will be the time of descent from A to B, while GT will be the residual time of descent along BC
|
