[過去ログ] 分からない問題はここに書いてね457 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
382
(1): 2020/01/14(火)08:55 ID:ITApl1nr(1/2) AAS
>>379

import Data.Ratio

isSquareI n = (==n) $ (truncate $ sqrt $ fromInteger n)^2

maxDenom = 12

candidates = [[b%a,d%c]|
a<-[2..maxDenom],
b<-[1..a-1],
省9
389
(1): 2020/01/14(火)18:41 ID:ITApl1nr(2/2) AAS
>>387
AB⊥BC、BC⊥CD、AB⊥CD、BC=1、AB,CD∈QとするとAB=2x/(1-x^2), CD=2y/(1-y^2)とおける。
このときAD以外の全部の辺長は有理数確定。
面は全て直角三角形、CD⊥ABCなので残るADが有理数なら条件は全て満たされる。
プログラムはAD=√(1+AB^2+CD^2)が有理数となるものを探索するもの。

-例-
(x,y)=(1/4,3/11)のとき
省1
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.036s