Comment

Comment by amavect

Actually, yes! We can use homogenous-degree-1 (provable from the homomorphism) to prove it.

  F(r,q0,q1)
  = F(r,q0*1,q1*1)
  = q0*q1*F(r,1,1)
Very simple! It remains to show that F(r,1,1) = K/r^2, as intended.
parent amavect 1 month ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton