(s ⋅ s) - ((s ⋅ s) / 4) = (3 / 4) ⋅ (s ⋅ s)

Start from the conclusion and work back up the proof. Click the arrow to show the parents.

• (s ⋅ s) - ((s ⋅ s) / 4) = (3 / 4) ⋅ (s ⋅ s),

  if the following are true:

  • a = b
  • b = c

  then a = c

  • (s ⋅ s) ⋅ (3 / 4) = (3 / 4) ⋅ (s ⋅ s), a ⋅ b = b ⋅ a
  • (s ⋅ s) - ((s ⋅ s) / 4) = (s ⋅ s) ⋅ (3 / 4),

    if the following are true:

    • a = b
    • a = c

    then b = c

    • (s ⋅ s) + ((s ⋅ s) ⋅ ((-1) / 4)) = (s ⋅ s) ⋅ (3 / 4),

      if the following are true:

      • a + b = c
      • d = a

      then d + b = c

      • s ⋅ s = (s ⋅ s) ⋅ (4 / 4),

        if the following are true:

        • a = c
        • b = c

        then a = b

        • (s ⋅ s) ⋅ (4 / 4) = (s ⋅ s) ⋅ 1,

          if a = b, then c ⋅ a = c ⋅ b

          • 4 / 4 = 1, 4 / 4 = 1
        • s ⋅ s = (s ⋅ s) ⋅ 1, a = a ⋅ 1
      • ((s ⋅ s) ⋅ (4 / 4)) + ((s ⋅ s) ⋅ ((-1) / 4)) = (s ⋅ s) ⋅ (3 / 4),

        if the following are true:

        • a = b ⋅ c
        • c = d

        then a = b ⋅ d

        • (4 / 4) + ((-1) / 4) = 3 / 4, (4 / 4) + ((-1) / 4) = 3 / 4
        • ((s ⋅ s) ⋅ (4 / 4)) + ((s ⋅ s) ⋅ ((-1) / 4)) = (s ⋅ s) ⋅ ((4 / 4) + ((-1) / 4)), (a ⋅ b) + (a ⋅ c) = a ⋅ (b + c)
    • (s ⋅ s) + ((s ⋅ s) ⋅ ((-1) / 4)) = (s ⋅ s) - ((s ⋅ s) / 4), a + (b ⋅ ((-1) / c)) = a - (b / c)