OP' = OF. OF = 2IK . OF = 4IK

Mais, si de M on abaisse la perpendiculaire MQ sur la direction indéfinie du diamètre SV, et de S la perpendiculaire SK' sur MM', ce qui donne respectivement QM = OP et SK'= IK, on aura, par les triangles rectangles et semblables MQU, S'KU, OIS,

MQMU MQMU

SK' ~ SU * 01 ~ OS '

ce qui donne, en multipliant membre à membre,

mq' mû' qp' mu'

SK'. 01 ~OS.su' ^" IK.01~0S.SU* et finalement, à cause de OP = 4IK.OI,