>>694
前段：
[注]は「ほら、接線はOPに垂直でしょ」とだけ言いたいだけの蛇足とまず把握する
円周上の点はx=0のときy≠0

後段：
y=0のときはdy/dx = 4yの両辺をyで割るという変形が定義されないから
別途に議論しているということ。
関数y=0はdy/dx = 4yを満たすので解