Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 13 May 2024 20:22:03 +0000
Subject: =?UTF-8?Q?Re:_universal_quantification=2c_because_g=e2=a4=a8=28g?=
 =?UTF-8?B?4oG7wrkoeCkpID0gZyh5KSBbMS8yXSBSZTogaG93?=
Newsgroups: sci.math
References: <qHqKnNhkFFpow5Tl3Eiz12-8JEI@jntp>
 <a67efe1b-dfeb-4aaa-bb4a-8bea6b64f2ee@att.net>
 <Jm-dnTTO1LWh4aD7nZ2dnZfqn_adnZ2d@giganews.com>
 <fa182313-6860-4e05-a103-2737336b55ce@att.net>
 <aAidnSzcCMwa4qP7nZ2dnZfqnPadnZ2d@giganews.com>
 <58fcd3ad-ba5f-43e5-83e5-364d36a05bb6@att.net>
 <96icnX-9Eoi7JKP7nZ2dnZfqn_idnZ2d@giganews.com>
 <9b151f0f-bd31-4652-a216-d769a6d36b39@att.net>
 <b3ednaXHZ4pH6aL7nZ2dnZfqnPudnZ2d@giganews.com>
 <5ea7e2c8-3fa4-4a56-843c-2cec222db3ec@att.net>
 <ToWdnXuzm82dDqL7nZ2dnZfqnPadnZ2d@giganews.com>
 <fd6c1cae-9d52-4dde-bd4a-3d00f0463560@att.net>
 <TQ2dnVA9fI8oQKL7nZ2dnZfqn_SdnZ2d@giganews.com>
 <58KdnWH_rOEle6L7nZ2dnZfqn_WdnZ2d@giganews.com>
 <XrKdnc5-cvSUZqL7nZ2dnZfqn_qdnZ2d@giganews.com>
 <a4700775-be6c-46db-ad41-361eee6a3b67@att.net>
 <SuOcne8WDcEmhd37nZ2dnZfqnPSdnZ2d@giganews.com>
 <4b86a394-467c-45c4-9370-4efae42ebcd7@att.net>
 <52CdnZUf4aEIldz7nZ2dnZfqnPSdnZ2d@giganews.com>
 <I9CdnShaR6hRhNz7nZ2dnZfqnPednZ2d@giganews.com>
 <3b24404e-cd3d-43ec-bb61-a4598555eff7@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Mon, 13 May 2024 13:22:12 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <3b24404e-cd3d-43ec-bb61-a4598555eff7@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <R4udnTkzQb_269_7nZ2dnZfqn_SdnZ2d@giganews.com>
Lines: 87
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-nPIQb83aqtTyD0h+svMtytky5NU22RdvPQY7FeI2l8DwEvWotR1bBTZ2jXitcYAEjosxWBIrtEyRr5U!h/DsWS5u05MP/6PAMbIVse8K/hItZd/1nNf8zOIP2glLl0oQKwCojSQydfKXxNaf9S+jyfxRyqz+!gQ==
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 5207

On 05/12/2024 09:11 PM, Jim Burns wrote:
> On 5/12/2024 3:34 PM, Ross Finlayson wrote:
>> On 05/12/2024 11:21 AM, Ross Finlayson wrote:
>>> On 05/12/2024 10:46 AM, Jim Burns wrote:
>
>>>> [...]
>>>
>>> Geometry's "similar" is often related to
>>> "congruency, thoroughly",
>>> where "congruent" means "similar".
>
> You have confused me.
> I agree that "similar" is related to "similar"
> but I don't see why you tell us this.
>
>>>>   ͨₐ🭢🭕🭞🭜🭘ᵇ  =  ͨₐ🭢🭕ͩ   +  ͩₐ🭞🭜🭘ᵇ
>>>>
>>>> The right triangle 🞃cab is split into
>>>> two right triangles ◥cda ◤adb
>>>> by segment a͞d perpendicular to b͞c
>>>>
>>>> 🞃cab ◥cda ◤adb are _similar_
>>>> [1]
>>>> Corresponding sides have equal ratios.
>
> Because triangles, here "similar" means
> corresponding sides have equal ratios and
> corresponding angles are equal.
>
>>> You can know that a triangle is a right triangle
>>> if you have the trigonometric functions of its angles,
>>> here as where it doesn't necessarily require
>>> the apparatus of Pythagoren theorem proper,
>>> "its own theory", ....
>
> Pythagoras says
> ∠cab = 90°  ⟹  c͡b² = c͡a² + b͡a²
>
> That means
> ∠cab = 90°  ∨  c͡b² ≠ c͡a² + b͡a²
>
> One side of that disjunction is true
> for any triangle.
> Thus, we don't need to know it's a right triangle
> in order to know Pythagoras is correct.
>
>> The most usual tools, of classical constructions:
>> are: compass and edge.
>
> If 🞃cab CAN be classically constructed
> then  ∠cab = 90°  ⟹  c͡b² = c͡a² + b͡a²
>
> If 🞃cab canNOT be classically constructed
> then  ∠cab = 90°  ⟹  c͡b² = c͡a² + b͡a²
>
>

I just showed there's another way to arrive at the objects
of the functions of trigonometry, independent of the
usual way. Now, the usual way what was a uniqueness
result, is now a distinctness result, what was a singularity,
is now a multiplicity, and what had no end, now has two.

For any planar triangle, that any two of its angles
sum to a right angle, indicates the triangle is right.

So, in this context of universal quantification, you had
brought up the point about the Pythagorean theorem
as if it was only available as a definition, and now I just
showed that it's also as after a derivation, and vice-versa.

Then as with regards to their conflation, and combination,
their confluence, "right" and "equilateral" trigonometry,
makes for as simple an example as you presented that
a deconstructive and reconstructive account provides a
greater dialectic and reasoning grounds for disambiguation.


And Zeno's like "you know these universal quantifiers can
help if you can explain how they neatly encapsulate an
expressed intent the actual vis-a-vis the potential infinity".


No, I don't know where else such ideas about this novel
"equilateral trigonometry" are. Here though there is one.