What makes a function linear? A constant rate of change. In y = 3x + 2, the slope is 3, so the output increases by 3 every time x increases by 1. Changing rates create nonlinear functions. Standard 8.F.3. #Grade8Math #LinearFunctions
October 19, 2026 at 2:33 PM
What makes a function linear? A constant rate of change. In y = 3x + 2, the slope is 3, so the output increases by 3 every time x increases by 1. Changing rates create nonlinear functions. Standard 8.F.3. #Grade8Math #LinearFunctions
Like I defined LinearFunction as a record with two Int values to represent functions x ↦ mx + b, and then I defined has_fixed_point as a predicate on LinearFunctions f as ∃x, f x = x, and then I proved that this is true iff (m - 1) ∣ b
January 13, 2026 at 7:31 PM
Like I defined LinearFunction as a record with two Int values to represent functions x ↦ mx + b, and then I defined has_fixed_point as a predicate on LinearFunctions f as ∃x, f x = x, and then I proved that this is true iff (m - 1) ∣ b