x,y,zと書かれているところを、X,Y,Zとする
OY上に、OP=zとなるような点Pを取ると、OPZは正三角形で△OYXと△PYZは相似。
従って、y:x=y-z:z　以下略